This course is an undergraduate course in the Logic Master at Charles University, Faculty of Arts, Department of Logic.
This course consists of blocks of lectures on selected topics from the area of non-classical logics. The oral exam will be based on a topic chosen by a student and recommended reading (1-2 papers) on that topic.
The topics for this semester will come roughly from the following areas, emphasising relational and algebraic semantical approach to selected logics, and their proof theory:
Modal logics
Many-valued logics
Substructural logics
Lectures:
3.3. Classical propositional logic