Antonio DI NOLA | Curriculum

Antonio Di Nola is Full Professor of Mathematical Logic and Director of the Department of Mathematics of the University of Salerno. Since the nineties he has been a leading proponent of the study of algebraic models of Lukasiewicz logic (MV-algebras), the most important among the many-valued logics. His contribution to the study of MV-algebras, witnessed by the seventeen citations of his works in the fundamental monograph "Algebraic foundations of many-valued reasoning", includes: a functional representation theorem for all MV-algebras (aka Di Nola's Representation Theorem); the discovery of categorical equivalences between categories of MV-algebras and categories of groups, rings, and semi-rings, profitably used in the literature of MV-algebras, the discovery of an equational axiomatisation of all varieties of MV-algebras, and a normal form theorem for Lukasiewicz logic. Today is actively committed to apply ideas from algebraic geometry in the MV-algebra and in the study of probability which admit infinitesimal values. He is author/coauthor of more than 150 scientific works, published on international journals of logic, algebra and computer science.