| Date | Room | Material covered | Syllabus | Homework |
| Wednesday 11 February | B 3.43 |
- History and philosophy of intuitionism - Informal "proofs" versus formal "derivations" - Intuitionistic propositional calculus - BHK-interpretation |
pp 1-8 slides 1-19 note on informal proofs |
Homework 1 (due Monday 17 February, 11 am) |
| Wednesday 18 February | B 3.43 |
- Hilbert-type systems - Godel's negative translation - Kripke models - Completeness of IPC w.r.t. Kripke semantics |
p 8; pp 15-16; p 18; pp 22-23 slides 18-33, 49-50 |
Homework 2 (due Monday 23 February, 11 am) |
| Wednesday 25 February | B 3.43 |
-Completeness of IPC w.r.t. Kripke semantics -Extensions of IPC (KC, LC) -Frame characterizations -Completeness of extending logics w.r.t. sub-classes of frames -Finite model property -Predicate logic (syntax) |
pp 18-19 Slides 27-33 |
Homework 3 (due Monday 2 March, 11 am) |
| Wednesday 4 March | B 3.43 |
-Kripke models for predicate logic -Some valid and invalid principles of intuitionistic predicate logic -Completeness of predicate logic -Disjunction property |
pp 18-20 slides 22-25,34,35,40,41 |
Homework 4 (due Monday 9 March, 11 am) |
| Wednesday 11 March | B 3.43 |
- KP, the Kreisel-Putnam logic - admissible rules - axiomatization and proofs in HA - non-standard models of arithmetic (PA) - some extensions of IQC |
pp 21, 10, 11, 20 | Homework 5 (due Monday 16 March, 11 am) |
| Wednesday 18 March | B 3.43 |
- Disjunction property of HA - Proof of de Jongh's theorem for HA - Translation into S4 |
pp 20,23,24
slides 48,51,52 |
Homework 6 (due Monday 30 March, 11 am) |
| Wednesday 1 April | A 406 |
- Disjunction property - Slash - Heyting algebras |
p. 20, 30,31 slides pp. 57-63 Nick Bezhanishvili, Lattices of intermediate and cylindric modal logics, ILLC Dissertation Series DS-2006-02, Ch. 2.1-3.2 |
Homework 7, part 1 (due Tuesday April 14, 11 am) |
| Wednesday 8 April | A 406 | - Heyting algebras | Bezhanishvili, Ch. 2.1 | |
| Wednesday 15 April | A 406 |
- Duality of finite frames and algebras - Rieger-Nishimura lattice and ladder |
Bezhanishvili, Ch. 2.2 pp. 24, 25 slides 55, 56 |
|
| Wednesday 22 April | A 406 |
- Duality of finite frames and algebras - Universal models |
Bezhanishvili, Ch. 2.2 Fan Yang, Intuitionistic Subframe Formulas, NNIL-Formulas and n-universal Models, ILLC Master of Logic series, MoL-2008-12, Ch 3.1-3.3 |
Homework 8 (due Monday April 27, 11 am with Dick de Jongh) |
| Wednesday 29 April | A 406 | From thesis Yang: proof that n-universal model and upper part of n-canonical model are isomorphic. |
|
Homework 9 (due Monday May 11, 3 pm with Jacob Vosmaer) |
| Wednesday 6 May | NO LECTURE |
|
|
|
| Wednesday 13 May | |
NO LECTURE |
|
|