Annotation
The course focuses on main alternatives to classical logic - intuitionistic logic, substructural, manyvalued and fuzzy logics. The course is introductory and captures main semantical and proof-theoretical characteristics of the logics considered.
The winter term covers propositional and predicate intuitionistic logic, including metamatematical topics (Heyting arithmetic). The summer term concentrates on substructural logics (Lambek calculus and its extensions, linear logic, relevant logic) and many valued logics and their algebraic and relational semantics.