Afișare rezultate

SM ISO690:2012

On absence of finite approximation relative to model completeness in the propositional provability logic

Izbaş Olga1, Rusu Andrei23

1 Institute of Mathematics and Computer Science ASM, 2 Information Society Development Institute, 3 Ovidius University, Constanța

Conference of Mathematical Society of the Republic of Moldova

3. 2014. Chișinău. ISBN 978-9975-68-244-2.

Disponibil online 9 October, 2017. Descarcări-0. Vizualizări-681

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

Infinitely many precomplete with respect to parametric expressibility classes of formulas in a provability logic of propositions

Rusu Andrei12

1 Information Society Development Institute, 2 Ovidius University, Constanța

Analele Stiintifice ale Universitatii Ovidius Constanta, Seria Matematica

Nr. / 2014 / ISSN 1224-1784 /ISSNe 1844-0835

Disponibil online 28 February, 2024. Descarcări-0. Vizualizări-31

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

Infinitely many maximal primitive positive clones in a diagonalizable algebra

Rusu Andrei

Ovidius University, Constanța

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

Nr. 2-3(73) / 2013 / ISSN 1024-7696 /ISSNe 2587-4322

Disponibil online 25 February, 2014. Descarcări-7. Vizualizări-947

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

10203040501005001000