Follow
Olga Izbaș
Olga Izbaș
Other namesOlga Izbash, Olga Covalgiu
Scientific secretary, Institute of Power Engineering, Technical University of Moldova
Verified email at ie.utm.md
Title
Cited by
Cited by
Year
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
32006
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
The system can't perform the operation now. Try again later.
Articles 1–12