Suivre
Olga Izbaș
Olga Izbaș
Autres nomsOlga Izbash, Olga Covalgiu
Scientific secretary, Institute of Power Engineering, Technical University of Moldova
Adresse e-mail validée de ie.utm.md
Titre
Citée par
Citée par
Année
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
12021
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–12