Seminário LisMath 

05/12/2018, 17:00 — 18:00 — Sala P9, Pavilhão de Matemática
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

Ver também

lismathseminar_pedro_filipe.pdf