Event Timeslots (1)

Monday
2:00 pm - 4:00 pm
The lecture offers a thorough treatment of intuitionistic logic, including proofs of soundness, completeness, and other fundamental model- and proof theoretic properties, such as the disjunction and existence property in the intuitionistic case. In addition, the course gives an overview of basic non-classical logics, such as first-degree entailment logic. CP can be earned by a graded written exam.