Antonio DI NOLA | Curriculum

Antonio Di Nola è professore ordinario di Logica Matematica e Direttore del Dipartimento di Matematica dell’Università degli Studi di Salerno. Dagli anni Novanta è stato uno dei principali promotori dello studio dei modelli algebrici della Lukasiewicz logica (MV-algebre), la più importante tra le logiche a più valori. Il suo contributo allo studio delle MV-algebre, come testimoniano le diciassette citazioni di suoi contributi nella monografia fondamentale "Algebraic foundations of many-valued reasoning", comprende: un teorema di rappresentazione funzionale per tutte le MV-algebre (anche conosciuto come Teorema di Di Nola), la scoperta di equivalenze categoriche tra le categorie di MV-algebre e categorie di gruppi, anelli, e semi-anelli, proficuamente utilizzate nella letteratura di MV-algebre, la scoperta di un assiomatizzazione equazionale di tutte le varietà di MV-algebre e un teorema di forma normale per la logica di Lukasiewicz. Oggi è attivamente impegnato ad applicare le idee di geometria algebrica nel MV-algebra e nello studio di probabilità su eventi vaghi che ammettono valori infinitesimali tra 0 e 1. È autore/coautore di oltre 150 lavori scientifici, pubblicati su riviste internazionali di logica, algebra e informatica.