Antonio DI NOLA | Curriculum
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.