The lecture offers a thorough treatment of first-order classical and 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.
- Kursleiter/in: Daniel Skurt
Semester: WiSe 2024/25