Selected Topics in Proof Theory (summer semester 2012)

1References

Most of the material, references, and general introduction are available at the Deep inference web site.

Knowledge of some of the topics presented for course Structural Proof Theory and Abstract Logic Programming is recommended.

Further references will be provided in due time.

Material covered and to be prepared for the exam

Schedule of Lectures in April (slots marked with ^ in room E008; all other venues are in E005):

Mon Tue Wed Thu Fri
23 DS6^ 24 DS2 26 DS1

Schedule of Lectures in May (slots marked with ^ in room E008; slots marked with * in room 2026; otherwise in E005):

Mon Tue Wed Thu Fri
3 4
7 DS6^ 8 DS6* 9 10 DS 5* 11
14 15 DS2* 16 17 18
21 22 23 24 25

2News

17/5 public holiday

3Course Info

Lectures and topics

23.04.12—Lecture 1 Purpose of the seminar, interaction with the course SPAL, organisation matters. Introduction to deep inference: motivations, terminology.

24.04.12—Lecture 2 Deep inference for classical logic, systems and some results. Topics for seminars in classical logic.

26.04.12—Lecture 3 System BV in deep inference: introduction and Topics for seminars.

7.05.12—Lecture 4 Linear Logics in deep inference: introduction and topics for seminars

8.05.12—Lecture 5 Modal Logics in deep inference: introduction and topics for seminars.

10.05.12—Lecture 6 Deep sequents: introduction and topics for seminars

15.05.12—Lecture 7 Meetings, discussions, proposals and schedule.

4Tutors and Office Hours

This course has no tutors. The Open house slot is a good venue for discussing your questions, and hopefully I can answer them. Otherwise just drop me an email and we'll arrange for an appointment.

10.05.12Paola Bruscoliemail (replace AT by @)