Anotace
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.