Search Results - "predicate" :: Harvester open publications of NAS Ukraine

Suggested Topics within your search. Suggested Topics within your search.

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 by Shkilniak, O.S.

Logical consequence relations in logics of quasiary predicates by Shkilniak, O.S.

Logical consequence relations in logics of monotone predicates and logics of antitone predicates by Shkilniak, O.S.

The description of lists and sets of meta-language of normal forms of knowledge by Kurgaev, A.F.

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics by Shkilniak, О.S., Shkilniak, S.S.

Algebras of quasiary and of bi-quasiary relations by Nikitchenko, M.S., Shkilniak, S.S.

First-order composition-nominative logics with predicates of weak equality and of strong equality by Shkilniak, S.S.

First-order logics with partial predicates for checking variable definedness by Shkilniak, S.S.

Pure first-order logics of quasiary predicates by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Algebras of general non-deterministic predicates by Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Pure first-order quasiary logics with equality predicates by Nikitchenko, M.S., Shkilniak, S.S.

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

Logics of general non-deterministic predicates: semantic aspects by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Composition nominative modal logics of partial non-monotone predicates and their calculi by Shkilniak, O.S., Kasianiuk, V.S., Malutenko, L.M.

Propositional logics of partial predicates with composition of predicate complement by 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 by Shkilniak, O.S.

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality by Shkilniak, О.S., Shkilniak, S.S.

Composition-nominative logics of free-quantifier levels by Shkilniak, S.S., Volkovytskyi, D.B.

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Semantic properties of five-valued logics by Nikitchenko, M.S., Shyshatska, E.V.

Search Results - "predicate"

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools by Shkilniak, O.S.

Logical consequence relations in logics of quasiary predicates by Shkilniak, O.S.

Logical consequence relations in logics of monotone predicates and logics of antitone predicates by Shkilniak, O.S.

The description of lists and sets of meta-language of normal forms of knowledge by Kurgaev, A.F.

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics by Shkilniak, О.S., Shkilniak, S.S.

Algebras of quasiary and of bi-quasiary relations by Nikitchenko, M.S., Shkilniak, S.S.

First-order composition-nominative logics with predicates of weak equality and of strong equality by Shkilniak, S.S.

First-order logics with partial predicates for checking variable definedness by Shkilniak, S.S.

Pure first-order logics of quasiary predicates by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Algebras of general non-deterministic predicates by Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Pure first-order quasiary logics with equality predicates by Nikitchenko, M.S., Shkilniak, S.S.

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

Logics of general non-deterministic predicates: semantic aspects by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Composition nominative modal logics of partial non-monotone predicates and their calculi by Shkilniak, O.S., Kasianiuk, V.S., Malutenko, L.M.

Propositional logics of partial predicates with composition of predicate complement by 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 by Shkilniak, O.S.

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality by Shkilniak, О.S., Shkilniak, S.S.

Composition-nominative logics of free-quantifier levels by Shkilniak, S.S., Volkovytskyi, D.B.

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Semantic properties of five-valued logics by Nikitchenko, M.S., Shyshatska, E.V.

Search Tools:

Refine Results

Institution

Format

Author

Language

Year of Publication