profile picture

Mykola Nikitchenko

 More details
  •  10
    Renominative logics with extended renomination, equality and predicate complement
    with Shkilniak O. S., Shkilniak S. S., and Mamedov T. A.
    Artificial Intelligence Scientific Journal 24 (1-2): 34-48. 2019.
    A new class of program-oriented logical formalisms is investigated – renominative logics with extended renominations, equality predicates, and predicate complement composition. Composition algebras and languages of such logics are described; their semantic properties are investigated. For these logics, a number of logical consequence relations are proposed and investigated, in particular, the logical consequence relations with undefinedness conditions. Properties of these relations form the sema…Read more
    Science, Logic, and Mathematics
  •  31
    Composition-Nominative Logics as Institutions
    with Alexey Chentsov
    Logica Universalis 12 (1-2): 221-238. 2018.
    Composition-nominative logics are program-oriented logics. They are based on algebras of partial predicates which do not have fixed arity. The aim of this work is to present CNL as institutions. Homomorphisms of first-order CNL are introduced, satisfaction condition is proved. Relations with institutions for classical first-order logic are considered. Directions for further investigation are outlined.
    Logic and Philosophy of Logic