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

Izbaş Olga1, Rusu Andrei23

1 Institute of Mathematics and Computer Science ASM, 2 Information Society Development Institute, 3 Ovidius University, Constanța

Conference of Mathematical Society of the Republic of Moldova

3. 2014. Chișinău. ISBN 978-9975-68-244-2.

Disponibil online 9 October, 2017. Descarcări-0. Vizualizări-673

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

On computer aided knowledge discovery in logic and related Areas

Rusu Andrei12, Rusu Elena3

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

Conference on Mathematical Foundations of Informatics

2016. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐4‐8.

Disponibil online 30 March, 2018. Descarcări-2. Vizualizări-731

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

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

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

10203040501005001000