Idempotent residuated structures: Some category equivalences and their applications
From MaRDI portal
Publication:5246960
DOI10.1090/S0002-9947-2014-06072-8zbMath1402.06005MaRDI QIDQ5246960
Nikolaos Galatos, James G. Raftery
Publication date: 22 April 2015
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
interpolation; idempotent; nucleus; amalgamation; category equivalence; representable; epimorphism; semilinear; residuation; Sugihara monoid; R-mingle; beth definability; relative stone algebra
03G25: Other algebras related to logic
06F05: Ordered semigroups and monoids
08C15: Quasivarieties
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
08C05: Categories of algebras
03G27: Abstract algebraic logic
Related Items
VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS, Sugihara algebras and Sugihara monoids: Multisorted dualities, Semilinear De Morgan monoids and epimorphisms, Structural completeness in relevance logics, On semiconic idempotent commutative residuated lattices, Varieties of De Morgan monoids: minimality and irreducible algebras, A category equivalence for odd Sugihara monoids and its applications, The Hahn embedding theorem for a class of residuated semigroups, Representation of De Morgan and (semi-)Kleene lattices, Group representation for even and odd involutive commutative residuated chains, Twist structures and Nelson conuclei, Structure theorems for idempotent residuated lattices, Epimorphism surjectivity in varieties of Heyting algebras, Epimorphisms in varieties of subidempotent residuated structures, Categories of models of \(\mathbf{R}\)-mingle, Epimorphisms in varieties of residuated structures, Complemented MacNeille completions and algebras of fractions
Cites Work
- Linear logic
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Residuated lattices. An algebraic glimpse at substructural logics
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Positive Sugihara monoids
- On categories of algebras equivalent to a variety
- On categories of algebras equivalent to a quasivariety
- Cylindric algebras. Part II
- On an implication connective of RM
- Local deductions theorems
- The semantics and proof theory of linear logic
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- Structural completeness of Gödel's and Dummett's propositional calculi
- Algebraic characterizations of various Beth definability properties
- A category equivalence for odd Sugihara monoids and its applications
- The Beth property in algebraic logic
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Subdirectly irreducible residuated semilattices and positive universal classes
- Minimal varieties of involutive residuated lattices
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- The intersection property of amalgamations
- On the structural completeness of some pure implicational propositional calculi
- Minimal varieties of residuated lattices
- Craig interpolation for semilinear substructural logics
- Correspondences between gentzen and hilbert systems
- Representable idempotent commutative residuated lattices
- Structural Completeness in Substructural Logics
- Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
- Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
- Algebraizable logics
- Model-Theoretic Logics
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- Substructural fuzzy logics
- Algebras Whose Congruence Lattices are Distributive.
- Lattices With Involution
- Algebraic completeness results for R-mingle and its extensions
- Protoalgebraic logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
