IBN
  



  














    
  


    
Închide

Afiliat la Universitatea Naţională „Taras Shevchenko“, Kiev

2019 - 1

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition
Nikitcenko Micola , Shkilniak Oksana , Shkilniak Stepan , Mamedov Tohrul
Computer Science Journal of Moldova
Nr. 2(80) / 2019 / ISSN 1561-4042 / ISSNe 2587-4330
Disponibil online 22 September, 2019
-----------------------------------------------------------------------------------------------------------------------------------

2017 - 2

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
-----------------------------------------------------------------------------------------------------------------------------------

2015 - 2

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