Il corso inizierà lunedì 7 ottobre, ore 13, aula 9, via Capponi.
Il corso inizia martedì 17 settembre, ore 11, Aula 107, Via Laura. Si raccomanda di iscriversi al più presto sulla pagina MOODLE del corso.
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.