Результати пошуку - "predicate" :: Harvester open publications of NAS Ukraine

Рекомендовані теми у межах Вашого пошуку. Рекомендовані теми у межах Вашого пошуку.

logic 15
УДК 004.42:510.69 15
логічний наслідок 15
UDC 004.42:510.69 14
logical consequence 14
логіка 14
логика 13
логическое следствие 11
предикат 10
predicate 9
секвенційне числення 7
partial predicate 6
частковий предикат 6
algebra 5
sequent calculus 5
алгебра 5
equality 4
semantics 4
секвенциальное исчисление 4
семантика 4
non-deterministic predicate 3
недетерминированный предикат 3
недетермінований предикат 3
равенство 3
рівність 3
частичный предикат 3
completeness 2
composition 2
modal logic 2
soundness 2

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools за авторством Shkilniak, O.S.

Logical consequence relations in logics of quasiary predicates за авторством Shkilniak, O.S.

Logical consequence relations in logics of monotone predicates and logics of antitone predicates за авторством Shkilniak, O.S.

The description of lists and sets of meta-language of normal forms of knowledge за авторством Kurgaev, A.F.

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics за авторством Shkilniak, О.S., Shkilniak, S.S.

Algebras of quasiary and of bi-quasiary relations за авторством Nikitchenko, M.S., Shkilniak, S.S.

First-order composition-nominative logics with predicates of weak equality and of strong equality за авторством Shkilniak, S.S.

First-order logics with partial predicates for checking variable definedness за авторством Shkilniak, S.S.

Pure first-order logics of quasiary predicates за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Algebras of general non-deterministic predicates за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Pure first-order quasiary logics with equality predicates за авторством Nikitchenko, M.S., Shkilniak, S.S.

Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems за авторством Давидюк, А. В., Зубок, В. Ю.

Logics of general non-deterministic predicates: semantic aspects за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Composition nominative modal logics of partial non-monotone predicates and their calculi за авторством Shkilniak, O.S., Kasianiuk, V.S., Malutenko, L.M.

Propositional logics of partial predicates with composition of predicate complement за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.

Relations of logical consequence in logics of partial predicates with composition of predicate complement за авторством Shkilniak, O.S.

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality за авторством Shkilniak, О.S., Shkilniak, S.S.

Composition-nominative logics of free-quantifier levels за авторством Shkilniak, S.S., Volkovytskyi, D.B.

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Semantic properties of five-valued logics за авторством Nikitchenko, M.S., Shyshatska, E.V.

Результати пошуку - "predicate"

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools за авторством Shkilniak, O.S.

Logical consequence relations in logics of quasiary predicates за авторством Shkilniak, O.S.

Logical consequence relations in logics of monotone predicates and logics of antitone predicates за авторством Shkilniak, O.S.

The description of lists and sets of meta-language of normal forms of knowledge за авторством Kurgaev, A.F.

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics за авторством Shkilniak, О.S., Shkilniak, S.S.

Algebras of quasiary and of bi-quasiary relations за авторством Nikitchenko, M.S., Shkilniak, S.S.

First-order composition-nominative logics with predicates of weak equality and of strong equality за авторством Shkilniak, S.S.

First-order logics with partial predicates for checking variable definedness за авторством Shkilniak, S.S.

Pure first-order logics of quasiary predicates за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Algebras of general non-deterministic predicates за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Pure first-order quasiary logics with equality predicates за авторством Nikitchenko, M.S., Shkilniak, S.S.

Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems за авторством Давидюк, А. В., Зубок, В. Ю.

Logics of general non-deterministic predicates: semantic aspects за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Composition nominative modal logics of partial non-monotone predicates and their calculi за авторством Shkilniak, O.S., Kasianiuk, V.S., Malutenko, L.M.

Propositional logics of partial predicates with composition of predicate complement за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.

Relations of logical consequence in logics of partial predicates with composition of predicate complement за авторством Shkilniak, O.S.

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality за авторством Shkilniak, О.S., Shkilniak, S.S.

Composition-nominative logics of free-quantifier levels за авторством Shkilniak, S.S., Volkovytskyi, D.B.

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Semantic properties of five-valued logics за авторством Nikitchenko, M.S., Shyshatska, E.V.

Інструменти для пошуку:

Уточнити результати

Репозитарії

Формат

Автор

Мова

Рік публікації