Afișare rezultate

Program-oriented Logics of Non-Deterministic Quasiary Predicates

Nikitcenko Micola, Shkilniak Stepan

Taras Shevchenko National University of Kyiv

Conference of Mathematical Society of the Republic of Moldova

4. 2017. Chişinău. ISBN 978-9975-71-915-5.

Disponibil online 4 October, 2017. Descarcări-0. Vizualizări-682

-----------------------------------------------------------------------------------------------------------------------------------

Semantic Properties of Logics of Quasiary Predicates

Nikitcenko Micola, Shkilniak Stepan

Taras Shevchenko National University of Kyiv

Workshop on Foundations of Informatics

I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1.

Disponibil online 6 October, 2017. Descarcări-0. Vizualizări-583

-----------------------------------------------------------------------------------------------------------------------------------

Towards Representation of Free Logic as Logic of Partial Quasiary Predicates

Nikitcenko Micola, Shkilniak Stepan

Conference on Mathematical Foundations of Informatics

2018. Chișinău. ISBN 978‐9975‐4237‐7‐9.

Disponibil online 3 July, 2018. Descarcări-0. Vizualizări-552

-----------------------------------------------------------------------------------------------------------------------------------

Towards Representation of Classical Logic as Logic of Partial Quasiary Predicates

Nikitcenko Micola, Shkilniak Stepan

Taras Shevchenko National University of Kyiv

Conference on Mathematical Foundations of Informatics

2017. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐6‐2.

Disponibil online 20 March, 2018. Descarcări-0. Vizualizări-619

-----------------------------------------------------------------------------------------------------------------------------------

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

Nikitcenko Micola, Shkilniak Oksana, Shkilniak Stepan, Mamedov Tohrul

Taras Shevchenko National University of Kyiv

Computer Science Journal of Moldova

Nr. 2(80) / 2019 / ISSN 1561-4042 /ISSNe 2587-4330

Disponibil online 22 September, 2019. Descarcări-2. Vizualizări-687

-----------------------------------------------------------------------------------------------------------------------------------

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

Nikitcenko Micola, Shkilniak Stepan

Taras Shevchenko National University of Kyiv

Computer Science Journal of Moldova

Nr. 2(68) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330

Disponibil online 20 November, 2015. Descarcări-17. Vizualizări-758

-----------------------------------------------------------------------------------------------------------------------------------

10203040501005001000