Event Timeslots (1)
Monday
-
This course will be an introduction to Abstract Algebraic Logic. The main focus will be on algebraic and matrix semantics for a range of logics, along with associated metatheoretic results such as completeness, and characterising classes of logics in terms of properties of their semantics. We'll start with preliminary information about lattice theory, set theory, and universal algebra. This course will follow Josep Maria Font's Abstract Algebraic Logic: An Introductory Textbook