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 (Українська)