Basics of Intensionalized Data: Presets, Sets, and Nominats

by Mykola Nikitchenko, Alexey Chentsov
Published 2012-10-01

Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates

by Mykola Nikitchenko, Stepan Shkilniak
Published 2015-10-01

Implementation of the Composition-nominative Approach to Program Formalization in Mizar

by Ievgen Ivanov, Artur Kornilowicz, Mykola Nikitchenko
Published 2018-05-01

Set-theoretic Analysis of Nominative Data

by Volodymyr G. Skobelev, Ievgen Ivanov, Mykola Nikitchenko
Published 2015-11-01

Nominative data with ordered set of names

by Volodymyr G. Skobelev, Ievgen Ivanov, Mykola Nikitchenko
Published 2017-08-01

Proving Properties of Programs on Hierarchical Nominative Data

by Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev
Published 2016-12-01

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition

by Mykola Nikitchenko, Oksana Shkilniak, Stepan Shkilniak, Tohrul Mamedov
Published 2019-09-01