ANU Logic Summer School

There will be a Logic Summer School at ANU December 5-16. I will be co-teaching Introduction to Proof Theory with Agata Ciabattoni (Technische Universität Wien) in the second week. For my portion of the course, I will present a slightly condensed version of the material that Greg and I presented at NASSLLI. Agata will present additional material on sequent and hypersequent systems for non-classical logics. Should be fun!

Added: Here are the slides for my lectures: lecture 1, lecture 2, lecture 3a, lecture 3b.


Leave a Reply

Your email address will not be published. Required fields are marked *