Time and location
Wednesdays, 15-17, room B0.203
Thursdays, 15-17, room G0.18A
Basic course material
Weekly assignments and a final exam. Exercises are assigned on Thursdays, and solutions should be handed in before the following class on Wednesday, either in person or by email to Gianluca. Deadlines are strict.
Program, assignments, and additional material
(this will be updated as the course proceeds)
8 Feb. Course introduction. BHK Interpretation.
Teacher: Ivano and Dick
Material: pp. 1-7 of the lecture notes + note on constructive proofs.
15 Feb. Completeness of IPC for Kripke semantics. Finite model property, decidability. Unraveling models into trees.
Material: pp. 27-33 of the slides.
Supplementary material: some useful intuitionistic equivalences
22 Feb. Topological and algebraic semantics.
Material: pp. 30-34 + 38-39 (up to Cor. 74) of the lecture notes.
1 Mar. Intermediate logics.
2 Mar. n-universal models, Jankov formulas.
8 Mar. Intuitionistic predicate logic IQC.
9 Mar. Heyting arithmetic
15 Mar. Completeness of HA for IPC
16 Mar. Curry-Howard correspondence
22 Mar. Inquisitive logic, part 1
23 Mar. Inquisitive logic, part 2