Constructive Logic

Date		Lecture Notes	Extra

Mon	15.4.	Introduction	paradox
Thu	18.4.	Natural Deduction

Mon	22.4.	Proofs as Programs
Thu	25.4.	Ü: Propositions, judgements, proofs, terms, functional programs

Mon	29.4.	Harmony
Thu	02.5.	Verifications

Mon	06.5.	Ü: Harmonic proofs and verifications
Thu	09.5.	Free: Feiertag

Mon	13.5.	Sequent Calculus
Thu	16.5.	Cut Elimination

Mon	20.5.	Free: Pfingsten
Thu	23.5.	Free: Pfingstferien

Mon	27.5.	Quantification
Thu	30.5.	Free: Fronleichnam

Mon	03.6.	Heyting Arithmetic & Recursion
Thu	06.6.	Ü: Quantifiers, sequents and cuts

Mon	10.6.	Propositional Theorem Proving
Thu	13.6.	Inversion

Mon	17.6.	Certifying Theorem Provers
Thu	20.6.	Backward Logic Programming	code

Mon	24.6.	Prolog	code Unify Types
Thu	27.6.	Ü: Propositional and inverted proofs

Mon	01.7.	Chaining	code
Thu	04.7.	Ü: Programming in prolog	code

Mon	08.7.	Ü: Logical and certified proofs
Thu	11.7.	Ü: Intuitionistic logic in the rear mirror

Mon	15.7.	Forward Logic Programming
Thu	18.7.	Linear Logic

Mon	22.7.	Substructural Operational Semantics
Thu	25.7.	Ü: Linearly lining up for food

Wed	25.9.	Exam 8:00-10:00

The lecture schedule is tentative!

KIT: Constructive Logic (So'24)