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