Articole în reviste din RM - 2.
A criterion for parametrical completeness in the 8-valued algebraic model of modal logic S5 |
Cebotari Vadim |
Institute of Mathematics and Computer Science ASM |
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica |
Nr. 2(63) / 2010 / ISSN 1024-7696 / ISSNe 2587-4322 |
Disponibil online 7 December, 2013. Descarcări-6. Vizualizări-864 |
Criterion of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic of A. Heyting |
Cebotari Vadim |
Institute of Mathematics and Computer Science ASM |
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica |
Nr. 3(52) / 2006 / ISSN 1024-7696 / ISSNe 2587-4322 |
Disponibil online 21 December, 2015. Descarcări-1. Vizualizări-561 |