[Announcements] [Lectures] [Project] [General Information]
The project report has to be submitted by 12 hrs on Sunday, 21 October. The presentations are scheduled on 22, 23 and 24 October with 7 slots per day.
Please use the doodle link below to choose your preferred slot (you can choose only one slot and the allotment is on first come, first served basis).
During week 43 (22-26 October), 30-minute oral presentations will take place about the written reports. During these meetings, questions will also be asked concerning the content of the lectures of weeks 40-42.
The written reports and the presentations will respectively count for 50% and for 15% in the final evaluations. The written reports must be handed in before 12 hrs on Sunday, 21 October.
Points will be subtracted for delays in handing in the written reports.
Students are requested to contact the lecturer asap to arrange date and time of their presentations.
You can find the detailed abstracts with references here.
|09:00-10:25||Justin Krager and Alexander Block||Solovay Theorems in Provability Logic|
|10:30-11:10||Francesco Gavazzo||A Completeness Theorem for Basic Linear Logic based on Pretopologies|
|13:45-15:10||Johannes Emerich and Ignas Vysniauskas||Curry-Howard correspondence for Ni and Church-Rosser theorem|
|09:45-10:25||Jetze Baumfalk||Cut Elimination Theorem for Non-Classical logics|
|10:30-11:10||Malvin Gattinger||Display Calculi for Modal Logic|
|11:15-11:55||Simon Docherty||Gentzen's Consistency Proof for PA|
|13:00-13:40||Julia Ilin||Algebraic Cut Elimination and Strong Separation for Substructural Logics|
|13:45-14:30||Jouke Witteveen||Strong Normalization Theorem for Lambda Calculus|
|09:00-09:40||Cecilia Chavez||Proof-theoretic Methods in DEL|
|09:45-11:10||Sanne Kosterman and Babette Paping||Display Logic|
|11:15-11:55||Chris Mierzewski||Proof-Theoretical Aspects of Forcing|
|13:00-13:40||Evante Garza-licudine||Non-Classical Logics and Decidability|
|13:45-14:25||Frank Feys||Categorical Logic|
|14:30-15:10||Maaike Zwart||Fuzzy Logic|
|Week||Hoorcollege (Monday 15-17 hrs, SP D.114)||Hoorcollege (Wednesday 17-19 hrs, SP 3.10)||Werkcollege (Thursday 13-15, SP G4.15)|
|Week 36||Frege System (Soundness) |
S. Buss, An Introduction to Proof Theory
|Frege System (Completeness)||Preliminary Exam|
|Week 37||Natural Deduction |
Troelstra and Schwichtenberg, section 2.1
|Normalization for Natural Deduction|
Troelstra and Schwichtenberg, section 6.1
|TS Ex 2.1.8 |
Translation proof TS 2.4
|Week 38||Gentzen System |
Troelstra and Schwichtenberg, section 3.1
|No class||TS Ex 3.1.3 A-C |
Eqv. of Gi and N, TS section 3.3
|Week 39||Cut-Elimination theorem |
Troelstra and Schwichtenberg, section 4.1
TS Ex 3.5.1; Inversion Lemma
|Week 40||No Class||Display Logic |
Theorem 3.1, 3.3 from the paper
|Week 41||Relevant and Substructural logics |
Galatos, Jipsen, Kowalski and Ono, Chapter 2
|Sequent Calculus for Public Announcement Logic||Cut Elimination Theorem for Substructural logics|
Galatos, Jipsen, Kowalski and Ono, Chapter 4
|Week 42||Logics for Multi-Agent Systems [slides]|
|Week 43||Final Project Presentations|
|Teaching Assistants:||Fatemeh Seifan|
At the end of the first week of the course, there will be a preliminary exam to assess whether your background knowledge is adequate.
The evaluation of this preliminary exam will consist in either a `pass' or `fail' grade; hence, if passed, this evaluation will not be part of the computation of the final grade. However,
If you're absent or fail the exam, you'll not be allowed to take the course!
The preliminary exam is on Thursday, 6th September during the Werkcollege from 13:00-15:00 hrs in SP G4.15. The exam will consist of basic exercises about the material covered in the two lectures (3rd and 5th Sept).
The evaluation of this preliminary exam will consist in a grade from 1 to 10, and will weight 30% in the computation of the final grade. However,
If you're absent or fail the exam (i.e. get a grade smaller than 5/10), you will not be allowed to pass the course.
The midterm exam is scheduled on Thursday, 27th September during the Werkcollege from 13:00-15:00 hrs in SP G4.15. The exam will consist of exercises about the material covered in the first four weeks of lectures.
Familiarity with formal proofs in mathematics, and in particular with inductive proofs.
Registration is required via https://www.sis.uva.nl until four weeks before the start of the semester. However, first year master students Logic will be automatically registered for the obligatory courses in the first semester.