Afișare rezultate |
Afisarea articolelor 1-3(3) pentru cuvîntul-cheie "First-order classical logic"
Admissibility, compatibility, and deducibility in first-order sequent logics |
Lyaletski Alexander |
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 3 October, 2017. Descarcări-1. Vizualizări-622 |
On a Sequent Form of the Inverse Method |
Lyaletsky Alexandre |
National University of Life and Environmental Sciences of Ukraine |
Proceedings IMCS-55 |
2019. Chișinău, Republica Moldova. ISBN 978-9975-68-378-4. |
Disponibil online 28 November, 2019. Descarcări-1. Vizualizări-538 |
Admissibility, compatibility, and deducibility in first-order sequent logics |
Lyaletski Alexander |
Taras Shevchenko National University of Kyiv |
Computer Science Journal of Moldova |
Nr. 3(69) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330 |
Disponibil online 26 November, 2015. Descarcări-3. Vizualizări-933 |
1-3 of 3