Afișare rezultate

SM ISO690:2012

About model completeness in the provability-intuitionistic logic and its extensions

Izbaş Olga

Institute of Mathematics and Computer Science ASM

Conference of Mathematical Society of the Republic of Moldova

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

Disponibil online 3 October, 2017. Descarcări-2. Vizualizări-845

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

Infinitely many functional pre-complete classes of formulas in the propositional provability intuitionistic logic

Rusu Andrei

Institute of Mathematics and Computer Science ASM

Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica

Nr. 1(53) / 2007 / ISSN 1024-7696 /ISSNe 2587-4322

Disponibil online 16 December, 2013. Descarcări-5. Vizualizări-871

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

Non-existence of finite approximation relative to model-completeness in the provability-intuitionistic logic

Izbaş Olga

Institute of Mathematics and Computer Science ASM

Annual Congress of the American Romanian Academy of Arts and Sciences.

Ediția 35. 2011. Montreal; Canada. ISBN 978-1-935924-01-2.

Disponibil online 12 March, 2024. Descarcări-0. Vizualizări-59

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

10203040501005001000