23 October 2023, VVL Essentials, Marianna Girlando

VvL Essentials talks are high-level introductory talks, that introduce early-career logicians to a field they may not be familiar with. This forms a low-threshold way to broaden their own specific research area and encourages collaborations. The talks will be hosted by different universities within the Netherlands, and they will have a hybrid format - for those who attend in person, drinks and snacks will be provided afterwards!

The very first edition of VvL Essentials is organized by Rodrigo Almeida (PhD student at the ILLC) and Giovanni Varricchione (PhD student at Utrecht University), and the details are as follows:

* Speaker: Marianna Girlando (ILLC)

* When: October 23, 16h00-18h00

* Where: ILLC (F1.15), or on Zoom (https://uva-live.zoom.us/j/85911072441)

* Title: Proof Theory Essentials

* Abstract: In this lecture we will introduce the basics of proof theory, explain how it came about, and outline (some of) the main results in the field. Using classical and intuitionistic first-order logic as a case study, we will first present the rules of sequent calculus. Then, we will sketch the cut-elimination proof and discuss its significance in the context of proving the consistency of arithmetic. Finally, if time permits, we will look at some more recent developments in proof theory, namely at proof systems for modal and non-classical logics.