Rusu Andrei

Publicații indexate în SCOPUS - (4), Descărcări - 10, Vizualizări - 2311

2023 - 1

On some classes of formulas in S5 which are pre-complete relative to existential expressibility

Rusu Andrei , Rusu Elena

Computer Science Journal of Moldova

Nr. 3 / 2023 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 16 January, 2024. Descarcări-0. Vizualizări-100

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

2015 - 1

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

Izbash Olga , Rusu Andrei

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

Nr. 3 / 2015 / ISSN 1024-7696 / ISSNe 2587-4322

Disponibil online 10 June, 2016. Descarcări-3. Vizualizări-1228

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

2014 - 1

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

Rusu Andrei

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

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

2013 - 1

Infinitely many maximal primitive positive clones in a diagonalizable algebra

Rusu Andrei

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

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

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

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

1020304050100150200500

1 - 4 of 4