Afiliat la Universitatea Naţională „Taras Shevchenko“, Kiev
Towards Representation of Classical Logic as Logic of Partial Quasiary Predicates |
Nikitcenko Micola , Shkilniak Stepan |
Conference on Mathematical Foundations of Informatics |
2017. Chișinău, Republica Moldova. "VALINEX" SRL. 133-138. |
Disponibil online 20 March, 2018 |
Program-oriented Logics of Non-Deterministic Quasiary Predicates |
Nikitcenko Micola , Shkilniak Stepan |
Conference of Mathematical Society of the Republic of Moldova |
4. 2017. Chişinău. Centrul Editorial-Poligrafic al USM. 137-140. |
Disponibil online 4 October, 2017 |
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates |
Nikitcenko Micola , Shkilniak Stepan |
Computer Science Journal of Moldova |
Nr. 2(68) / 2015 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 20 November, 2015 |
Semantic Properties of Logics of Quasiary Predicates |
Nikitcenko Micola , Shkilniak Stepan |
Workshop on Foundations of Informatics |
I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 180-197. |
Disponibil online 6 October, 2017 |
1-5 of 5