05/12/2018, 17:00 — 18:00 — Room P9, Mathematics Building
Pedro Filipe, LisMath, Instituto Superior Técnico
Ordering protoalgebraic logics
The Leibniz hierarchy arose as an attempt to rank which types of logics are more amenable to be studied from an algebraic point of view and plays a central role in modern abstract algebraic logic. Within this hierarchy, the class of protoalgebraic logics resides at the very bottom, not being included in any other class. In this sense, protoalgebraicity in one of the weakest properties of logics that makes them amenable to most of the standard methods in algebra. In this seminar we will study the order properties of this lattice of logics with some interesting results.
Bibliography:
[1] Josep Maria Font, Ordering protoalgebraic logics, Journal of Logic and Computation 26 (2016)
[2] Josep Maria Font, Abstract Algebraic Logic - An Introductory Textbook, 2016
See also
lismathseminar_pedro_filipe.pdf
