An Abstract Approach to Consequence Relations II

Authors: Petr Cintula, J. Gil-Férez, Tommaso Moraschini, F. Paoli
Publication year: 2018
Publication type: Abstrakt
Periodical: SYSMICS 2018. Second Workshop - Contributions
Bibliographic citation: CINTULA, Petr, GIL-FÉREZ, J., MORASCHINI, Tommaso, PAOLI, F. An Abstract Approach to Consequence Relations II. In: SYSMICS 2018. Second Workshop - Contributions. Vienna: University of Vienna, 2018. Dostupné z: https://sysmics.logic.at/accepted/_left/SYSMICS-W2_abstract_27.pdf
ID: 508285

Abstract

In the late 80s Blok and Pigozzi introduced the notion of an algebraizable logic, intended to isolate propositional logics which are intrinsically the same as equational consequences relative to quasi-varieties of algebras. Later on, Blok and JÛnsson developed a general theory of equivalence between structural consequences relations, which abstracts the kind of equivalence observed between algebraizable logics and relative equational consequences to arbitrary structural consequence relations on sets equipped with monoid actions. Blok-JÛnsson approach was subsequently extended by Galatos, Tsinakis and others to more general categorical settings.