Nikitchenko, M.S., Kiev Taras Shevchenko National University
-
No 2 (2003) - Theory and Methodology of Programming
Logics of local equitone predicates: semantic properties and sequential calculuses
Abstract PDF (Українська) -
No 3 (2003) - Theory and Methodology of Programming
Compositional logics of nominative data
Abstract PDF (Українська) -
No 4 (2012) - Theory and Methodology of Programming
Logics of quasiary predicates of quantifier-equational level
Abstract PDF (Українська) -
No 1 (2016) - Theory and Methodology of Programming
Algebras of quasiary and of bi-quasiary relations
Abstract PDF (Українська) -
No 2-3 (2016) - Theory and Methodology of Programming
Pure first-order logics of quasiary predicates
Abstract PDF (Українська) -
No 1 (2018) - Theory and Methodology of Programming
Algebras of general non-deterministic predicates
Abstract PDF -
No 1 (2018) - Theory and Methodology of Programming
Semantic properties of five-valued logics
Abstract PDF (Русский) -
No 2-3 (2018) - Theory and Methodology of Programming
Logics of general non-deterministic predicates: semantic aspects
Abstract PDF (Українська) -
No 2 (2017) - Theory and Methodology of Programming
Pure first-order quasiary logics with equality predicates
Abstract PDF (Українська) -
No 1 (2019) - Theory and Methodology of Programming
Propositional logics of partial predicates with composition of predicate complement
Abstract PDF (Українська) -
No 2-3 (2020) - Theory and Methodology of Programming
Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
Abstract PDF (Українська)