CV

Research interests
My research belongs to the area of uncertainty reasoning. I study; many-valued logic in general and Lukasiewicz logic in particular, which I approach from various perspectives: logical, algebraic, probabilistic.

Habilitation in Computer Science, FMI,UB

Publications
[DBLP]  [Zentralblatt]   [Google Scholar]

Currently advertising our new master program (in Romanian)
Married with Laurentiu Leuștean, three children.
Editorial board member: sc

Awards. Grants. Fellowships

Teaching

  • IMPLEMENTAREA CONCURENTEI IN LIMBAJE DE PROGRAMARE
    Master I, Sem. II, moodle [logare ca vizitator]
  • TEHNICI WEB
    Anul II, Sem. I, curs, laborator

Past courses

Publications

Papers in Journals/Proceedings/Collections

35. Towards game semantics for nuanced logics (with Denisa Diaconescu), accepted at FUZZ-IEEE 2017.

34. Notes on divisible MV-algebras (with Serafina Lapenta), Soft Computing, doi: 10.1007/s00500-016-2339-z. arXiv:1605.01230

33. A general view on normal form theorems for Lukasiewicz logic with product (with Serafina Lapenta), in "Concepts of Proof in Mathematics, Philosophy and Computer Science". Dieter Probst and Peter Schuster (eds.). Ontos Mathematical Logic. Walter de Gruyter, Berlin. pre-print

32. Scalar extensions for algebraic structures of Lukasiewicz logic (with Serafina Lapenta), Journal of Pure and Applied Algebra  220, 1538-1553, 2016 [doi:10.1016/j.jpaa.2015.09.017]. arXiv:1410.8298 

31. Stochastic independence for probability MV-algebras (with Serafina Lapenta), Fuzzy Sets and Systems 298, 94–206, 2016.

30. Towards understanding the Pierce-Birkhoff conjecture via MV-algebras (with Serafina Lapenta), Fuzzy Sets and Systems 276, 114-130, 2015. arXiv:1410.5593

29. Mutually exclusive nuances of truth in Moisil logic (with Denisa Diaconescu), Scientific Annals of
Computer Science "Alexandru Ioan Cuza" Univ. of Iasi, vol. 25,  69-88, 2015 (special issue dedicated to Professor Sergiu Rudeanu on his 80th birthday).

28. The Riesz MV-algebra hull of an MV-algebra (with Denisa Diaconescu ), Mathematica Slovaca 65(4) (2015), 801–816, 2015 (special issue in honor of Antonio Di Nola). arXiv:1410.8438

27. Lukasiewicz logic and Riesz spaces (with Antonio Di Nola), Soft Computing, Volume 18, Issue 12, 2349-2363, 2014. arXiv:1309.1575

26. Lexicographic MV-algebras and lexicographic states (with Denisa Diaconescu and Tommaso Flaminio), Fuzzy Sets and Systems 244 (2014), 63-85.

25. Adding Real Coefficients to Lukasiewicz Logic: An Application to Neural Networks, (with Brunella Gerla and Antonio Di Nola), F. Masulli, G. Pasi, and R. Yager (Eds.): WILF 2013, LNCS 8256, pp. 77–85, 2013.

24. State-complete Riesz MV-algebras and L-measure spaces, S. Greco et al. (Eds.): IPMU 2012, Part II, CCIS 298, 226–234, 2012.

23. Hahn-Banach theorems for MV-algebras, Soft Computing, Volume 16, Issue 11, 1845-1850, 2012 .

22. Riesz MV-algebras and their logic (with A. Di Nola), Proceedings of EUSFLAT-LFA 2011, 140-145.

21. Metric completions of MV-algebras with states. An approach to stochastic independence. Journal of Logic and Computation 21, Issue 3 (2011), 493-508.

20. Tensor products of probability MV-algebras, Journal of Multiple-Valued Logic and Soft Computing 16, No. 3-5 (2010), 405-419.

19. A determination principle for algebras of n-valued Lukasiewicz logic, Journal of Algebra 320 (2008), 3694- 3719.

18. α-convergence and complete distributivity in MV-algebras, Journal of Multiple-Valued Logic and Soft Computing, Vol. 12, No. 3-4 (2006) , 309--319

17. Order convergence and distance on Lukasiewicz-Moisil algebras(with George Georgescu and Andrei Popescu), Journal of Multiple-Valued Logic and Soft Computing 12 (2006), no. 1-2, 33-69.

16. Similarity MV-algebras (with Brunella Gerla), Fundamenta Informaticae, Volume 69, No. 3 (2006), 287-300.

15. Non-commutative Lukasiewicz propositional logic, Archive for Mathematical Logic, Volume 45, No. 2 (2006), 191-213.

14. Many-valued logics and similarities (with Brunella Gerla), Proceedings of the 10th International Conference IPMU (2004), 477-484.

13. MV-algebras with operators: the commutative and the non-commutative case (with Paul Flondor), Discrete Mathematics, Volume 274, No. 1-3 (2004), 41-76.

12. Extension of probabilities defined on MV-algebras, Analele Universitatii Bucuresti - Matematica, Volume 52, No. 1 (2003), 23-30.

11. Tensor Products of MV-algebras (with P. Flondor), Soft Computing 7 (2003), 446-457, 2003.

10. MV-modules (with Antonio di Nola and Paul Flondor), Journal of Algebra, Volume 267, No. 1 (2003), 21-40.

9. Cauchy completions of MV-algebras (with Richard Ball and George Georgescu), Algebra Universalis, Volume 47, No. 4 (2002), 367-407.

8. Local pseudo-MV algebras, Soft Computing, Volume 5, No. 5 (2001), 386-395.

7. States on Perfect MV-algebras (with Antonio di Nola and George Georgescu, V. Novak, I. Perfilieva (eds.), Discovering the World With Fuzzy Logic,  Studies in Fuzziness and Soft Computing  57, Physica, Heidelberg, 105-125, 2000.

6. Towards a probability theory based on Moisil logic (with George Georgescu), Soft Computing, Volume 4, No. 1 (2000), 19-26.

5. A representation theorem for monadic Pavelka algebras (with George Georgescu), Journal of Universal Computer Science, Volume 6, No. 1 (2000), 105-111.

4. Probabilities on Lukasiewicz-Moisil algebras (with George Georgescu), International Journal of Approximate Reasoning, Volume 18, No. 3-4 (1998), 201-215.

3. Monadic and closure MV-algebras (with George Georgescu and Afrodita Iorgulescu), Multiple-Valued Logic, Volume 3, No. 3 (1998), 235-257.

2. Convergence in perfect MV-algebras (with George Georgescu), Journal of Mathematical Analysis and Application, Volume 228, No. 1 (1998), 96-111.

1. Conditional probabilities on Lukasiewicz-Moisil algebras, Analele Universitatii Bucuresti - Matematica, Volume 47 (1998), 55-64.


Books and Handbook Chapters

2. MV-algebras and Lukasiewicz logic (with Antonio di Nola), P. Cintula, P. Hajek, C. Noguera (eds.), Handbook of Mathematical Fuzzy Logic - volume 2, Studies in Logic,  Vol. 38, College Publications, London, 469-583, 2011. Preliminary version.

1. Contributions to the theory of MV-algebras: MV-modules, Editura Universitara, Bucuresti, 2009. Volume based on my PhD Thesis.

as Editor

1. Algebra and Probability in Many-Valued Reasoning, Special issue. Studia Logica Volume 94, No. 2, 2010. Edited by Ioana Leustean and Vincenzo Marra.


Preprints

2. A general view on the algebraic semantics of Lukasiewicz logic with product (with S.Lapenta), submitted, arXiv:1410.8298.

1. An analysis of the logic of Riesz Spaces with strong unit (with Antonio Di Nola and Serafina Lapenta), submitted, arXiv:1607.08030.

Conferences

Conferences/Workshops/Special sessions (as organizer)

Invited talks

Other talks

Contact

Ioana Leustean
Faculty of Mathematics and Computer Science
University of Bucharest
Str. Academiei 14, sector 1,
010014, Bucharest, Romania
Email: ioana.leustean at unibuc.ro
Office: room 209