Afișare rezultate

SM ISO690:2012

On weak-functionally complete systems of formulas containing paraconsistent negation in a paraconsistent logic

Rusu Andrei12, Rusu Elena3

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

International Conference on Intelligent Information Systems

2020. Chișinău. ISBN 978-9975-68-415-6.

Disponibil online 10 December, 2020. Descarcări-4. Vizualizări-488

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

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

Rusu Andrei12, Rusu Elena3

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

Computer Science Journal of Moldova

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

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

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

10203040501005001000