Afiliat la Institutul de Matematică şi Informatică al AŞM
| Algebraic representation of generalized boolean algebras |
| Cuzneţov Evghenii , Izbaş Vladimir , Izbaş Olga |
| Conference on Mathematical Foundations of Informatics |
| 2018. Chișinău. "VALINEX" SRL. 127-133. |
| Disponibil online 3 July, 2018 |
| About model completeness in the provability-intuitionistic logic and its extensions |
| Izbaş Olga |
| Conference of Mathematical Society of the Republic of Moldova |
| 4. 2017. Chişinău. Centrul Editorial-Poligrafic al USM. 87-90. |
| Disponibil online 3 October, 2017 |
| On absence of finite approximation relative to model completeness in the propositional provability logic |
| Izbaş Olga , Rusu Andrei |
| Conference of Mathematical Society of the Republic of Moldova |
| 3. 2014. Chișinău. "VALINEX" SRL. 98-101. |
| Disponibil online 9 October, 2017 |
| Non-existence of finite approximation relative to model-completeness in the provability-intuitionistic logic |
| Izbaş Olga |
| Annual Congress of the American Romanian Academy of Arts and Sciences. Proceedings of the 35th ARA Congress |
| Ediția 35. 2011. Montreal; Canada. . 298-300. |
| Disponibil online 12 March, 2024 |
    |
1-5 of 5
