Shkilniak, S.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 1 (2012) - Theory and Methodology of Programming
Sequent calculi for first-order logics of single-valued quasi-ary predicates
Abstract PDF (Українська) -
No 2-3 (2012) - Theory and Methodology of Programming
Секвенційні числення композиційно-номінотивних логік квазіарних предикатів
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
Composition-nominative logics of free-quantifier levels
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 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 3 (2019) - Theory and Methodology of Programming
First-order composition-nominative logics with predicates of weak equality and of strong equality
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 (Українська) -
No 3-4 (2022) - Theory and Methodology of Programming
First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
Abstract PDF (Українська) -
No 2-3 (2024) - Theory and Methodology of Programming
Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
Abstract PDF (Українська)