Afișare rezultate

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

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

On some pre-complete relative to positive expressibility classes of formulas in the 8-valued para-consistent extension of the logic S5

Rusu Andrei12, Rusu Elena3

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

Workshop on Intelligent Information Systems

2023. Chişinau, Moldova. ISBN 978-9975-68-492-7..

Disponibil online 8 December, 2023. Descarcări-0. Vizualizări-139

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

10203040501005001000