Teoria della dimostrazione e informazione extra-logica
Coordinatore
Team di ricerca
-
Marco Pedicini (Università di Roma Tre)
-
Matteo Tesi (Institute of Logic and Computation, TU Wien, Vienna, Austria)
-
Carlo Nicolai (King's College University of London)
-
Martin Fischer (Munich Center for Mathematical Philosophy)
-
Gabriele Pulcini (Università di Roma "Tor Vergata")
Il gruppo si compone oltre al prof. Piazza, di due assegnisti di ricerca e numerosi studenti di dottorato.
Il progetto di ricerca riguarda temi di teoria strutturale della dimostrazione per la logica classica e per le logiche non classiche. In particolare, il progetto si concentra sui seguenti ambiti: aspetti computazionali e quantitativi della semantica delle prove per la logica classica e logiche non classiche; rapporto tra informazione extra-logica e analiticità.