Studia Logica 103 (1):21-51 (2015)
Abstract |
The “representation problem” in abstract algebraic logic is that of finding necessary and sufficient conditions for a structure, on a well defined abstract framework, to have the following property: that for every structural closure operator on it, every structural embedding of the expanded lattice of its closed sets into that of the closed sets of another structural closure operator on another similar structure is induced by a structural transformer between the base structures. This question arose from Blok and Jónsson abstract analysis of one of Blok and Pigozzis’s characterizations of algebraizable logics. The problem, which was later on reformulated independently by Gil-Férez and by Galatos and Tsinakis, was solved by Galatos and Tsinakis in the more abstract framework of the category of modules over a complete residuated lattice, and by Galatos and Gil-Férez in the even more abstract setting of modules over a quantaloid. We solve the representation problem in Blok and Jónsson’s original context of M-sets, where M is a monoid, and characterise the corresponding M-sets both in categorical terms and in terms of their inner structure, using the notions of a graded M-set and a generalized variable introduced by Gil-Férez
|
Keywords | Abstract algebraic logic Algebraizable logic Isomorphism problem M-set Structural closure operator Structural transformer Modules over complete residuated lattices Onto-projective objects |
Categories | (categorize this paper) |
ISBN(s) | |
DOI | 10.1007/s11225-013-9536-x |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Equivalence of Consequence Operations.W. J. Blok & Bjarni Jónsson - 2006 - Studia Logica 83 (1-3):91-110.
Equivalence of Consequence Relations: An Order-Theoretic and Categorical Perspective.Nikolaos Galatos & Constantine Tsinakis - 2009 - Journal of Symbolic Logic 74 (3):780-810.
Correspondences Between Gentzen and Hilbert Systems.J. G. Raftery - 2006 - Journal of Symbolic Logic 71 (3):903 - 957.
Representations of Structural Closure Operators.José Gil-Férez - 2011 - Archive for Mathematical Logic 50 (1-2):45-73.
Citations of this work BETA
Countably Many Weakenings of Belnap–Dunn Logic.Minghui Ma & Yuanlei Lin - 2020 - Studia Logica 108 (2):163-198.
Logics of Variable Inclusion and the Lattice of Consequence Relations.Michele Pra Baldi - 2020 - Journal of Applied Non-Classical Logics 30 (4):367-381.
An Abstract Approach to Consequence Relations.Petr Cintula, José Gil-férez, Tommaso Moraschini & Francesco Paoli - 2019 - Review of Symbolic Logic 12 (2):331-371.
The Semantic Isomorphism Theorem in Abstract Algebraic Logic.Tommaso Moraschini - 2016 - Annals of Pure and Applied Logic 167 (12):1298-1331.
Similar books and articles
Representations of Structural Closure Operators.José Gil-Férez - 2011 - Archive for Mathematical Logic 50 (1-2):45-73.
Equivalence of Consequence Relations: An Order-Theoretic and Categorical Perspective.Nikolaos Galatos & Constantine Tsinakis - 2009 - Journal of Symbolic Logic 74 (3):780-810.
Categorical Abstract Algebraic Logic: More on Protoalgebraicity.George Voutsadakis - 2006 - Notre Dame Journal of Formal Logic 47 (4):487-514.
Which Structural Rules Admit Cut Elimination? An Algebraic Criterion.Kazushige Terui - 2007 - Journal of Symbolic Logic 72 (3):738 - 754.
The Lattice of Distributive Closure Operators Over an Algebra.Josep M. Font & Ventura Verdú - 1993 - Studia Logica 52 (1):1 - 13.
Algebraizable Logics with a Strong Conjunction and Their Semi-Lattice Based Companions.Ramon Jansana - 2012 - Archive for Mathematical Logic 51 (7-8):831-861.
Categorical Abstract Algebraic Logic: The Largest Theory System Included in a Theory Family.George Voutsadakis - 2006 - Mathematical Logic Quarterly 52 (3):288-294.
Categorical Abstract Algebraic Logic: Gentzen Π ‐Institutions and the Deduction‐Detachment Property.George Voutsadakis - 2005 - Mathematical Logic Quarterly 51 (6):570-578.
Categorical Abstract Algebraic Logic: Models of Π-Institutions.George Voutsadakis - 2005 - Notre Dame Journal of Formal Logic 46 (4):439-460.
Structural Representation and Surrogative Reasoning.Chris Swoyer - 1991 - Synthese 87 (3):449 - 508.
BK-Lattices. Algebraic Semantics for Belnapian Modal Logics.Sergei P. Odintsov & E. I. Latkin - 2012 - Studia Logica 100 (1-2):319-338.
Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.
Structural Completeness in Fuzzy Logics.Petr Cintula & George Metcalfe - 2009 - Notre Dame Journal of Formal Logic 50 (2):153-182.
Closure Operators and Complete Embeddings of Residuated Lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427 - 440.
An Abstract Algebraic Logic Approach to Tetravalent Modal Logics.Josep Maria Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
Analytics
Added to PP index
2013-12-12
Total views
84 ( #139,951 of 2,518,477 )
Recent downloads (6 months)
2 ( #271,901 of 2,518,477 )
2013-12-12
Total views
84 ( #139,951 of 2,518,477 )
Recent downloads (6 months)
2 ( #271,901 of 2,518,477 )
How can I increase my downloads?
Downloads