An Introduction to Proof Theory II: More on the Sequent Calculus
From International Center for Computational Logic
An Introduction to Proof Theory II: More on the Sequent Calculus
Talk by Tim Lyon
- Location: Online
- Start: 13. January 2022 at 11:00 am
- End: 13. January 2022 at 12:00 pm
- Event series: Research Seminar Logic and AI
- iCal
This talk is a sequel to the first lecture "An Introduction to Proof Theory I: Sequent Calculus," which can be found at the following link: https://www.youtube.com/watch?v=grjMRgmjddE. In this talk, we will briefly review notions introduced in the first talk such as what a sequent is, types of inference rules, and types of rule redundancy. Building off these notions, we will then look at invertible rules, cut-elimination, and touch on how logics can be shown decidable via proof-search. All such concepts will be introduced within the framework of a sequent calculus for classical propositional logic.
The talk is online via BigBlueButton.
Link:
https://bbb.tu-dresden.de/b/ali-zgz-l8d-52n
