Afișare rezultate

SM ISO690:2012

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

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

On completeness as to ¬-expressibility in a 4-valued provability logic

Rusu Andrei12, Rusu Elena3

1 Vladimir Andrunachievici Institute of Mathematics and Computer Science, 2 Ovidius University, Constanța, 3 Technical University of Moldova

Proceedings IMCS-55

2019. Chișinău, Republica Moldova. ISBN 978-9975-68-378-4.

Disponibil online 28 November, 2019. Descarcări-3. Vizualizări-815

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

Infinitely many precomplete relative to parametric expressibility classes of formulas in a provability logic

Rusu Andrei

Information Society Development Institute

International Conference on Intelligent Information Systems

2013. Chișinău. .

Disponibil online 12 February, 2018. Descarcări-4. Vizualizări-684

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

10203040501005001000