Institute of Information Theory and Automation

Introduction to Algebraic Logic

Lecturer: Carles Noguera, Ph.D.
Type of course: bakalářský, magisterský
Department: MTR
Semester: zimní
Active: yes


This is a first course on algebraic logic, not based on a general theory, but on the study of examples. It will focus on propositional logical systems, exploring several families of non-classical logics and discussing their relation with algebraic (and matricial) semantics.

In particular, we will present intuitionistic logic, substructural logics, linear logics, relevant logics, many-valued and fuzzy logics, and modal logics, briefly discussing their motivations and building their corresponding algebraic semantics.

Responsible for information: MTR
Last modification: 23.02.2018
Institute of Information Theory and Automation