Proof theory
About
The course treats derivations and proofs as mathematical objects, and study these from a formal, syntactic point of view, unlike model theory that can be said to be the semantic theory of the corresponding phenomena.
Among the many proof formalisms that have been constructed, studied, and implemented we focus on two central classes of systems: natural deduction and sequent calculus. The most fundamental theorems, whose proofs are implemented in detail are cut elimination and normalisation for propositional logic and predicate logic, but also for stronger systems, such as formalised arithmetic. Philosophical and linguistic aspects of proof theory, as its connection with semantics and anti-realism, will also be addressed.
Prerequisites and selection
Requirements
For admission to the course successful completion of at least 7.5 credits of Logical theory (LOG111) or Logic in Computer Science (DAT060 or DIT201), or the equivalent, is required.
Selection
Selection is based upon the number of credits from previous university studies, maximum 165 credits.
