Afișare rezultate

SM ISO690:2012

On existential expressibility of formulas in the simplest non-trivial super-intuitionistic propositional logic

Rusu Andrei12, Rusu Elena3

1 Ovidius University, Constanța, 2 Information Society Development Institute, 3 Technical University of Moldova

Conference of Mathematical Society of the Republic of Moldova

4. 2017. Chişinău. ISBN 978-9975-71-915-5.

Disponibil online 4 October, 2017. Descarcări-3. Vizualizări-945

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

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

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

10203040501005001000