Introduction to Deep Inference

Lecturer: 
Topic: 
Logic & Computation
Level: 
Advanced
Abstract: 

This course provides an introduction to the techniques and methods proper of deep inference, a recent methodology in proof theory that has been developed for the past 15 years. Purpose of the course is to provide participants with a detailed and compact presentation of the many features that deep-inference based proof systems exhibit. Through small examples and exercises mixed with usual presentations our aim is that of developing an initial technical understanding of deep inference, while simultaneously highlighting, through examples, the different scope of applicability of more traditional methods.

Week: 
First week
Slot: 
14:00 - 15:30 - slot 3