An Abstract Approach to Consequence Relations II

0508285 - ÚI 2020 AT eng A - Abstrakt
Cintula, Petr - Gil-Férez, J. - Moraschini, Tommaso - Paoli, F.
An Abstract Approach to Consequence Relations II.
SYSMICS 2018. Second Workshop - Contributions. Vienna: University of Vienna, 2018.
[SYSMICS 2018: Workshop. Substructural logics: semantics, proof theory, and applications. /2./. 26.02.2018-28.02.2018, Vienna]
Institucionální podpora: RVO:67985807
https://sysmics.logic.at/accepted/_left/SYSMICS-W2_abstract_27.pdf

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.
Trvalý link: http://hdl.handle.net/11104/0299239