Shkilniak, O.S., Kiev Taras Shevchenko National University
-
No 1 (2016) - Theory and Methodology of Programming
Logical consequence relations in logics of quasiary predicates
Abstract PDF (Українська) -
No 1 (2017) - Theory and Methodology of Programming
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
Abstract PDF (Українська) -
No 1 (2018) - Theory and Methodology of Programming
Algebras of general non-deterministic predicates
Abstract PDF -
No 2 (2017) - Theory and Methodology of Programming
Composition nominative modal logics of partial non-monotone predicates and their calculi
Abstract PDF (Українська) -
No 1 (2019) - Theory and Methodology of Programming
Propositional logics of partial predicates with composition of predicate complement
Abstract PDF (Українська) -
No 1 (2019) - Theory and Methodology of Programming
Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
Abstract PDF (Українська) -
No 3 (2019) - Theory and Methodology of Programming
Relations of logical consequence in logics of partial predicates with composition of predicate complement
Abstract PDF (Українська)