On non-tabular m-pre-complete classes of formulas in the propositional provability logic O Izbas, A Rusu An. Stiint. Univ.“Ovidius” Constanta, Ser. Mat 14 (1), 91-98, 2006 | 3 | 2006 |
ON IG-QUASIGROUPS V Izbash, O Izbash ROMAI Journal 17 (2), 33-44, 2021 | | 2021 |
Elaboration of the technology of creation on interactive manuals using the Google Suite for Education package and presentation capabilities of the LATEX programm language E Kuznetsov, V Izbash, O Izbash Conference on Applied and Industrial Mathematics, 65-66, 2021 | | 2021 |
On functionally completeness of quasigroups O Izbash, V Izbash Proceedings IMCS-55, 85-86, 2019 | | 2019 |
Trinomul pătrat în situaţii nonstandard O Izbaş, V Izbaş The 26th Conference on Applied and Industrial Mathematics, 166-169, 2018 | | 2018 |
Algebraic representation of generalized boolean algebras E Kuznetsov, V Izbash, O Izbash Conference on Mathematical Foundations of Informatics, 127-133, 2018 | | 2018 |
About model completeness in the provability-intuitionistic logic and its extensions O Izbash Conference of Mathematical Society of the Republic of Moldova 4, 87-90, 2017 | | 2017 |
On the absence of finite approximation relative to model completeness in propositional provability logic O Izbash, A Rusu Buletinul Academiei de Ştiinţe a Moldovei. Matematica 79 (3), 110-113, 2015 | | 2015 |
APPLYING OF PREDICATES FOR SETTLEMENT OF MODEL COMPLETENESS ABILITY-INTUITIONISTIC LOGIC O Izbas ARA Annual Congress Proceedings 37, 467-470, 2013 | | 2013 |
Non-existence of finite approximation relative to model-completeness in the provability-intuitionistic logic O IZBAȘ ARA Annual Congress Proceedings 35 (298-300), 2010 | | 2010 |
A criterion of model completeness for the closed classes of 3-valued logic O Covalgiu, M Ratsa Buletinul Şt. al Univ. "Politehnica", Timişoara 43 (1), 31-34, 1998 | | 1998 |
On the existence of a criterion of model completeness for the closed classes of 3-valued functions O COVALGIU, M RATSA Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica 3, 101-104, 1997 | | 1997 |