Proof-theory and extra-logical information
Coordinator
Research Team
-
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")
The group consists of Professor Piazza, two research fellows, and several doctoral students.
The research project focuses on themes of structural proof theory for classical logic and non-classical logics. In particular, the project concentrates on the following areas: computational and quantitative aspects of proof semantics for classical and non-classical logics; relationship between extra-logical information and analyticity.