A.A. 2024-25 dal 16.09.24 fino al termine del I semestre:
Nato a Firenze il 15.09.1956
Dati personali
Affiliazioni
Titoli di studio universitario
Posizione
Incarichi didattici fuori Ateneo
Incarichi accademici
Incarichi scientifici
Logiche non classiche (intermedie, modali, polivalenti, sottostrutturali); semantiche algebriche e relazionali; teoria strutturale della dimostrazione; logica combinatoria e lambda-calcolo; storia della logica.
Legenda
Born in 1956, Firenze (Italy).
Affiliation:
Education:
Other Academic Appointments, UNIFI:
Scientific Appointments:
Other Teaching Appointments:
Main research areas: Non-classical logics (intermediate, modal, many-valued, substructural); algebraic and relational semantics; proof theory; combinatory logic and lambda-calculus; formal theories of truth; history of logic.