An Introduction to Proof Theory I: Sequent Calculus

Talk by Tim Lyon

Location: Online
Start: 15. April 2021 at 1:00 pm
End: 15. April 2021 at 2:30 pm
Event series: Research Seminar Logic and AI
iCal

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:

https://selfservice.zih.tu-dresden.de/l/link.php?m=88852&p=57980ee1

without ZIH-login:

https://selfservice.zih.tu-dresden.de/link.php?m=88852&p=7788afd1