Afișare rezultate
Afisarea articolelor 1-6(6) pentru cuvîntul-cheie "quasiary predicate" 
| Program-oriented Logics of Non-Deterministic Quasiary Predicates |
| , |
| 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-745 |
| Semantic Properties of Logics of Quasiary Predicates |
| , |
| 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-667 |
| Towards Representation of Free Logic as Logic of Partial Quasiary Predicates |
| , |
| 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-615 |
| Towards Representation of Classical Logic as Logic of Partial Quasiary Predicates |
| , |
| 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-679 |
| Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition |
| , , , |
| 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-745 |
| Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates |
| , |
| 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-817 |
    |
1-6 of 6
