IZBAŞ Olga

GRAD ŞTIINŢIFIC

1994 - doctor în ştiinţe fizico-matematice, Specialitatea: 01.01.06 – Logica matematică, algebra şi teoria numerelor,
Modelarea logicii clasice în extensia 3-valentă a logicii demonstraţional-intuiţioniste, Institutul de Matematică şi Informatică, AŞM

DIRECŢII DE CERCETARE

Logica mathematică, matematică discretă

PUBLICAŢII

Izbaş O. Non-existence of finite approximation relative to model-completeness in the provability-intuitionistic logic, The 35th Annual Congress, American Romanian Academy of Arts and Sciences (ARA), Timişoara, Romania, 2011, Proceedings. Sci. Ed.: IONEL, I.; FLEŞER, T.; VETREŞ, I. –Presses Internationales Polytechnique, Montréal, Québec, 2011,  , p. 298-300, ISBN: 978-2-553-01596-0.
Izbaş O. O serie infinită de clase modelar pre-complete în logica demonstraţional intuiţionistă,The 34th Annual Congress, American Romanian Academy of Arts and Sciences (ARA), Proceedings, Bucharest, Ramania, 2010, p. 567-570.
Izbaş O. Rusu A.On non-tabular m-precomplete classes of formulas in the propositional provability logic, Analele Şt. ale Universităţii “Ovidius”, seria Matematică, v. XIV (2006) fascicola 1, pp. 91 – 98.

DATE DE CONTACT

E-mail: [email protected]