Date | Material covered | Syllabus | Additional material | Homework | |
Monday 31 January |
-History and philosophy of intuitionism -Informal "proofs" versus formal "derivations" -Intuitionistic propositional calculus |
pp 1-8 Slides 1-19 (page number on bottom of slides) |
Note on informal proofs | Homework 1 (due Monday 07 February) | |
Monday 07 February |
-Classical vs. constructive proofs -Kripke semantics |
p 8; pp 15-16; Slides 19-24 |
Note on (non-)constructive proofs | Homework 2 (due Monday 14 February) | |
Monday 14 February |
-Negative translation -Completeness of IPC w.r.t. Kripke semantics -Extensions of IPC (KC, LC) |
pp 18-19; pp 22-23 Slides 27-33; 49-50 |
Homework 3 (due Monday 21 February) | ||
Monday 21 February |
-finite model property -completeness of extensions of IPC (intermediate logics) -disjunction property -generated subframes -p-morphisms |
pp. 17-20; 48 Slides 33; 36-41; 53. |
Note on completeness | Homework 4 (due Monday 28 February) | |
Monday 28 February |
-p-morphisms -disjunction property, admissible rules -translation of IPC into S4 -modal logic |
pp. 20-21; 23-24; 48 Slides 36-38; 40-48; 51-52. |
Homework 5 (due Monday 7 March) | ||
Monday 7 March |
-Completeness of IQC -Heyting Arithmetic (HA) -Proofs in HA -Kripke models for HA -Disjunction property for HA -Formulation of De Jongh's Theorem |
pp. 19-20 Slides 34-35 |
Homework 6 (due Monday 14 March) | ||
Monday 14 March | -Proof of De Jongh's Theorem | No homework this week! | |||
Monday 21 March | NO LECTURE | ||||
Monday 28 March |
-Rieger-Nishimura lattice -Heyting Algebras |
pp. 24-25; 30-33 Slides 54-70 |
Homework 7 (due Monday 4 April) | ||
Monday 4 April |
-Heyting algebras -Algebraic completeness -Rieger-Nishimura, also as a universal model |
pp. 24-25; 32-33 Slides 54-56; 67; 69-70; 86-91 | Fan Yang Intuitionistic Subframe formulas, NNIL-formulas and n-universal models |
Homework 8 (due Monday 11 April) | |
Monday 11 April | Coming soon. | Coming soon. | No homework this week! | ||
Monday 18 April | Coming soon. | Coming soon. | Fan Yang On HS = SH and Duality Theorems of Intuitionistic Descriptive Frames |
Homework 9 (due Monday 2 May) | |
Monday 2 May | Coming soon. | Coming soon. | Homework 10 (due Monday 9 May) |