Author Details

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 (Ukrainian)
  • No 1 (2017) - Theory and Methodology of Programming
    Logical consequence relations in logics of monotone predicates and logics of antitone predicates
    Abstract  PDF (Ukrainian)
  • 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 (Ukrainian)
  • No 1 (2019) - Theory and Methodology of Programming
    Propositional logics of partial predicates with composition of predicate complement
    Abstract  PDF (Ukrainian)
  • 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 (Ukrainian)
  • No 3 (2019) - Theory and Methodology of Programming
    Relations of logical consequence in logics of partial predicates with composition of predicate complement
    Abstract  PDF (Ukrainian)