Afișare rezultate

SM ISO690:2012

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

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

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

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

10203040501005001000-Toate-