2 May 2017, Logic Tea, Frederik Lauridsen
Systematic proof theory is a research program aimed at classifying propositional logics according to the type of (analytic) proof calculi they allow. We begin with a general laudation of the many virtues of proof theory. We will then share our frustrations about the inherent difficulties associated with constructing well-behaved proof calculi for various types of propositional logics. While we do plan to discuss various proof-theoretic formalisms the main focus will be on the (hyper)sequent calculus formalism which we will introduce in some detail. Finally, we will talk about how we can classify the intermediate logics, i.e., the propositional logics between intuitionistic and classical propositional logic, which admit a particular well-behaved type of hypersequent calculus.
While we aim at keeping the talk accessible to all members of the ILLC a basic familiarity with the syntax and (Kripke) semantics of propositional intuitionistic or modal logic will be needed to appreciate the last parts of the talk.
There will be tea and cookies available during the talk, and everyone is invited for a round of drinks at Polder afterwards.
For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Sirin Botan (s.botan at uva.nl), Bonan Zhao (bonan.zhao at student.uva.nl), or Julian Schloder (julian.schloeder at gmail.com).