Please follow this link to the new website of the Institute of Computer Science ...
Date Name
4/24/19 16:00Tommaso Moraschini (ICS CAS): The poset of all logics
Description:A notion of interpretability between arbitrary propositional logics is introduced, and shown to be a preorder on the class of all logics. Accordingly, we refer to its associated poset as to the „poset of all logics". In this talk we shall explore the structure of this poset. In particular, we observe that that it has infima of arbitrarily large sets, but even finite suprema may fail to exist. This should not come as a surprise, since the universe of the poset of all logics is indeed a proper class. The formalism of interpretability is subsequently exploited to introduce the notion of a Leibniz class of logics, and we refer to the complete lattice of Leibniz class as to the Leibniz hierarchy. This order-theoretic perspective allows us to address in mathematical terms the following foundational question: do the classes traditionally associated to the Leibniz hierarchy (e.g. that of protoalgebraic logics) capture „fundamental" concepts?
www:https://web.cs.cas.cz/mku/appl/aktualni/aktualni.pdf
Please follow this link to the new website of the Institute of Computer Science ...