An Introduction to Proof Theory I: Sequent Calculus

From International Center for Computational Logic

An Introduction to Proof Theory I: Sequent Calculus

Talk by Tim Lyon
Proof theory is an important branch of mathematical logic that is primarily concerned with the study and application of mathematical proofs. One of the preferred formalisms in proof theory for building deductive systems is Gerhard Gentzen's sequent calculus formalism. This talk is intended as an introduction to proof theory and will introduce a variant of Gentzen's sequent calculus for classical propositional logic. Moreover, the sequent calculus will be used to demonstrate and define fundamental proof theoretic notions such as sequents, types of inference rules, methods of soundness and completeness, and properties of calculi.

This lecture will take place online via BigBlueButton. To access the room, take one of the following links:

with ZIH-login:

without ZIH-login: