Universiteit van Amsterdam


Institute for Logic, Language and Computation

2 May 2017, Logic Tea, Frederik Lauridsen

Speaker: Frederik Lauridsen
Title: Linnaean Logic: a friendly introduction to systematic proof theory.
Date: Tuesday 2 May 2017
Time: 17:00-18:00
Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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 (), Bonan Zhao (), or Julian Schloder ().