07 August 11:00 AM – 01:00 PM SESSION MOVED to ROOM 1!
ORGANIZERS
Giovanna Corsi, University of Bologna Sara Negri, University of Helsinki
SPEAKERS AND TITLES
11.00–11.30 Using Assumptions in Gentzen-type Systems, Arnon Avron, Tel-Aviv University
11.30–12.00 Uniform interpolation and proof systems, Rosalie Iemhoff, Utrecht University
12.00–12.30 Natural deduction for bi-connexive logic, Heinrich Wansing, Ruhr-University Bochum
12.30–13.00 Mimamsa deontic logic: proof theory and applications, Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, and Bjorn Lellmann, Vienna University of Technology, AUSTRIA
Giovanna Corsi, University of Bologna Sara Negri, University of Helsinki
SPEAKERS AND TITLES
14.30–15.00 Unified Correspondence as a Proof-Theoretic Tool, Alessandra Palmigiano, Delft University of Technology
15.00–15.30 30 min break (Due to cancellation of Proof theory for non-classical Euclid’s geometrical logic, Pierluigi Graziani, University of Chieti-Pescara)
15.30–16.00 Proof theory for first-order logic of social choice, Paolo Maffezioli, University of Bologna
16.00–16.30 Proof theory of non-normal modal logics, Eugenio Orlandelli, University of Bologna