← Back to Home

Publications

Ioana Leuştean

Google Scholar ResearchGate DBLP ORCID

Handbook Chapter

  • A. Di Nola, I. Leuştean. Łukasiewicz logic and MV-algebras. In: P. Cintula, P. Hájek, C. Noguera (Eds.), Handbook of Mathematical Fuzzy Logic (Volume 2), Studies in Logic 37, College Publications, London, 1–102, 2011.

Journal Articles & Conference Proceedings

  • A.A. Oltean, B. Macovei, I. Leuștean, Formalizing a Many-Sorted Hybrid Polyadic Modal Logic in Lean, LPAR 2026 (accepted).
  • I. Leuştean, B. Macovei. Training as inference: Using hybrid modal logic for specifying neural networks. Journal of Logical and Algebraic Methods in Programming, Volume 151, 2026, https://doi.org/10.1016/j.jlamp.2026.101152.
  • I. Leuştean, B. Macovei. A Hybrid Many-Sorted Modal Logic with Nominal Terms. In: Fahrenberg, U., Fussner, W., Santocanale, L. (eds) Relational and Algebraic Methods in Computer Science. RAMICS 2026. Lecture Notes in Computer Science, vol 16526. Springer, Cham. https://doi.org/10.1007/978-3-032-22469-9_14
  • I. Leuştean, B. Macovei. Łukasiewicz Logic with Actions for Neural Networks training. FROM 2025, EPTCS 427, 44–58, 2025.
  • A. Nicolae, P. Irofti, I. Leuştean. OpenBSD formal driver verification with SeL4. Proceedings of the 16th International Conference on Security for Information Technology and Communications (SecITC), LNCS 14534, Springer, 2023.
  • N. Moangă, I. Leuştean, T.F. Şerbănuţă. Many-Sorted Hybrid Modal Languages. Journal of Logical and Algebraic Methods in Programming Volume 120, 2021, https://doi.org/10.1016/j.jlamp.2021.100644.
  • B. Macovei, I. Leuştean. DELP: Dynamic Epistemic Logic for Security Protocols. FROM 2021, 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 275–282, 2021.
  • N. Moangă, I. Leuştean, T.F. Şerbănuţă. A many-sorted polyadic modal logic. Fundamenta Informaticae, 173(2-3), 191–215, 2020.
  • S. Lapenta, I. Leuştean. On the semisimple tensor product of MV-algebras. Fuzzy Sets and Systems, 197, 140–151, 2020.
  • N. Moangă, I. Leuştean, T.F. Şerbănuţă. From Hybrid Modal Logic to Matching Logic and back. FROM 2019, EPTCS 303, 16–31, 2019.
  • N. Moangă, I. Leuştean, T.F. Şerbănuţă. Operational semantics and program verification using many-sorted hybrid modal logic. TABLEAUX 2019, 446–476, 2019, arXiv:1905.05036.
  • A. Di Nola, S. Lapenta, I. Leuştean. Infinitary logic and basically disconnected compact Hausdorff spaces. Journal of Logic and Computation, 28(6), 1275–1292, 2018.
  • A. Di Nola, S. Lapenta, I. Leuştean. An analysis of the logic of Riesz Spaces with strong unit. Annals of Pure and Applied Logic, 169(3), 216–234, 2018, https://doi.org/10.1016/j.apal.2017.10.006.
  • S. Lapenta, I. Leuştean. Notes on divisible MV-algebras. Soft Computing, 21(21), 6213–6223, 2017.
  • D. Diaconescu, I. Leuştean. Towards game semantics for nuanced logics. FUZZ-IEEE 2017.
    • S. Lapenta, I. Leuştean. A general view on normal form theorems for Łukasiewicz logic with product. In: D. Probst, P. Schuster (Eds.), Concepts of Proof in Mathematics, Philosophy and Computer Science, Ontos Mathematical Logic 6, Walter de Gruyter, Berlin, 2016.
  • S. Lapenta, I. Leuştean. Stochastic independence for probability MV-algebras. Fuzzy Sets and Systems, 298, 94–206, 2016.
  • S. Lapenta, I. Leuştean. Scalar extensions for algebraic structures of Łukasiewicz logic. Journal of Pure and Applied Algebra, 220, 1538–1553, 2016.
  • S. Lapenta, I. Leuştean. Towards understanding the Pierce-Birkhoff conjecture via MV-algebras. Fuzzy Sets and Systems, 276, 114–130, 2015.
  • D. Diaconescu, I. Leuştean. The Riesz MV-algebra hull of an MV-algebra. Mathematica Slovaca, 65(4), 801–816, 2015. (Special issue in honor of Antonio Di Nola)
  • D. Diaconescu, I. Leuştean. Mutually exclusive nuances of truth in Moisil logic. Scientific Annals of Computer Science “Alexandru Ioan Cuza” Univ. of Iași, 25, 69–88, 2015. (Special issue dedicated to Professor Sergiu Rudeanu on his 80th birthday)
  • A. Di Nola, I. Leuştean. Łukasiewicz logic and Riesz spaces. Soft Computing, 18(12), 2349–2363, 2014.
  • D. Diaconescu, T. Flaminio, I. Leuştean. Lexicographic MV-algebras and lexicographic states. Fuzzy Sets and Systems, 244, 63–85, 2014.
  • A. Di Nola, B. Gerla, I. Leuştean. Adding Real Coefficients to Łukasiewicz Logic: An Application to Neural Networks. WILF 2013, LNAI 8256, 77–85, 2013.
  • I. Leuştean. Hahn-Banach theorems for MV-algebras. Soft Computing, 16(11), 1845–1850, 2012.
  • I. Leuştean. State-complete Riesz MV-algebras and L-measure spaces. Proceedings of IPMU 2012, Part II, CCIS 298, 226–234, 2012.
  • D. Diaconescu, I. Leuştean, L. Petre, K. Sere, G. Stefanescu. Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. Proceedings of IFM 2012, 221–236, 2012.
  • I. Leuştean. Metric completions of MV-algebras with states. An approach to stochastic independence. Journal of Logic and Computation, 21(3), 493–508, 2011.
  • A. Di Nola, I. Leuştean. Riesz MV-algebras and their logic. Proceedings of EUSFLAT-LFA 2011, 140–145, 2011.
  • I. Leuştean. The tensor PMV-algebra of an MV-algebra. Proceedings of the 41st IEEE International Symposium for Multiple-Valued Logic (ISMVL), 274–276, 2011.
  • I. Leuştean. Tensor products of probability MV-algebras. Journal of Multiple-Valued Logic and Soft Computing, 16(3-5), 405–419, 2010.
  • I. Leuştean. A determination principle for algebras of n-valued Łukasiewicz logic. Journal of Algebra, 320, 3694–3719, 2008.
  • I. Leuştean. $\alpha$-convergence and complete distributivity in MV-algebras. Journal of Multiple-Valued Logic and Soft Computing, 12(3-4), 309–315, 2006.
  • G. Georgescu, I. Leuştean, A. Popescu. Order convergence and distance on Łukasiewicz-Moisil algebras. Journal of Multiple-Valued Logic and Soft Computing, 12(1-2), 33–69, 2006.
  • B. Gerla, I. Leuştean. Similarity MV-algebras. Fundamenta Informaticae, 69(3), 287–300, 2006.
  • I. Leuştean. Non-commutative Łukasiewicz propositional logic. Archive for Mathematical Logic, 45(2), 191–213, 2006.
  • P. Flondor, I. Leuştean. MV-algebras with operators: the commutative and the non-commutative case. Discrete Mathematics, 274(1-3), 41–76, 2004.
  • B. Gerla, I. Leuştean. Many-valued logics and similarities. Proceedings of IPMU 2004, 477–484, 2004.
  • A. Di Nola, P. Flondor, I. Leuştean. MV-modules. Journal of Algebra, 267(1), 21–40, 2003.
  • P. Flondor, I. Leuştean. Tensor Products of MV-algebras. Soft Computing, 7, 446–457, 2003.
  • R. Ball, G. Georgescu, I. Leuştean. Cauchy completions of MV-algebras. Algebra Universalis, 47, 367–407, 2002.
  • I. Leuştean. Local pseudo-MV algebras. Soft Computing, 5(5), 386–395, 2001.
    • A. Di Nola, G. Georgescu, I. Leuştean. States on Perfect MV-algebras. In: V. Novák, I. Perfilieva (Eds.), Discovering the World With Fuzzy Logic, Stud. Fuzziness Soft Comput. 57, Physica, Heidelberg, 105–125, 2000.
  • G. Georgescu, I. Leuştean. Towards a probability theory based on Moisil logic. Soft Computing, 4(1), 19–26, 2000.
  • G. Georgescu, I. Leuştean. A representation theorem for monadic Pavelka algebras. Journal of Universal Computer Science, 6(1), 105–111, 2000.
  • G. Georgescu, I. Leuştean. Probabilities on Łukasiewicz-Moisil algebras. International Journal of Approximate Reasoning, 18(3-4), 201–215, 1998.
  • G. Georgescu, A. Iorgulescu, I. Leuştean. Monadic and closure MV-algebras. International Journal of Multiple-Valued Logic, 3(3), 235–257, 1998.
  • G. Georgescu, I. Leuştean. Convergence in perfect MV-algebras. Journal of Mathematical Analysis and Applications, 228(1), 96–111, 1998.

Journal Issues as Editor

  • Algebra and Probability in Many-Valued Reasoning. Special issue, Studia Logica, 94(2), 2010. Edited by Ioana Leuştean and Vincenzo Marra.