Introduction to Deep Inference

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.