Idempotent residuated structures: Some category equivalences and their applications

DOI10.1090/S0002-9947-2014-06072-8zbMATH Open1402.06005MaRDI QIDQ5246960FDOQ5246960

Authors: Nikolaos Galatos, J. G. Raftery 

Publication date: 22 April 2015

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Recommendations

• Structure theorems for idempotent residuated lattices
• Residuated structures derived from commutative idempotent semirings
• Idempotents in bicategories
• Categories of algebraic contexts equivalent to idempotent semirings and domain semirings
• Idempotent completion of extriangulated categories
• A categorical equivalence for Stonean residuated lattices
• Idempotents in dagger categories (extended abstract)
• Groupoids, idempotents and pointwise inverses in relational categories
• Idempotent completion of triangulated categories
• Equivalence of categories between coefficient systems and systems of idempotents

zbMATH Keywords

interpolationidempotentnucleusamalgamationcategory equivalencerepresentableepimorphismsemilinearresiduationSugihara monoidR-minglebeth definabilityrelative stone algebra

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Categories of algebras (08C05) Abstract algebraic logic (03G27) Quasivarieties (08C15)

Cites Work

• The semantics and proof theory of linear logic
• Cylindric algebras. Part II
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• On the structural completeness of some pure implicational propositional calculi
• Structural Completeness in Substructural Logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• Substructural fuzzy logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Title not available (Why is that?)
• Algebraizable logics
• Title not available (Why is that?)
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Algebras Whose Congruence Lattices are Distributive.
• Lattices With Involution
• Protoalgebraic logics
• Positive Sugihara monoids
• A category equivalence for odd Sugihara monoids and its applications
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Craig interpolation for semilinear substructural logics
• Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Correspondences between gentzen and hilbert systems
• Irreducible residuated semilattices and finitely based varieties
• Residuated lattices as an algebraic semantics for paraconsistent Nelson's logic
• Local deductions theorems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic completeness results for R-mingle and its extensions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Minimal varieties of residuated lattices
• Minimal varieties of involutive residuated lattices
• On an implication connective of RM
• Title not available (Why is that?)
• Model-Theoretic Logics
• Representable idempotent commutative residuated lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• The intersection property of amalgamations
• Title not available (Why is that?)
• On categories of algebras equivalent to a variety
• Algebraic characterizations of various Beth definability properties
• On categories of algebras equivalent to a quasivariety
• Subdirectly irreducible residuated semilattices and positive universal classes
• Structural completeness of Gödel's and Dummett's propositional calculi
• The Beth property in algebraic logic
• Title not available (Why is that?)

Cited In (25)

• Epimorphisms in varieties of residuated structures
• Intuitionistic modal algebras
• A categorical equivalence for Stonean residuated lattices
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Semilinear De Morgan monoids and epimorphisms
• Epimorphism surjectivity in varieties of Heyting algebras
• Epimorphisms in varieties of subidempotent residuated structures
• Structural completeness in relevance logics
• Positive Sugihara monoids
• Sugihara algebras and Sugihara monoids: Multisorted dualities
• Representation of De Morgan and (semi-)Kleene lattices
• Twist structures and Nelson conuclei
• M-zeroids: structure and categorical equivalence
• Group representation for even and odd involutive commutative residuated chains
• The Hahn embedding theorem for a class of residuated semigroups
• A category equivalence for odd Sugihara monoids and its applications
• On semiconic idempotent commutative residuated lattices
• Semiconic idempotent logic. II: Beth definability and deductive interpolation
• Idempotents in R
• Varieties of De Morgan monoids: covers of atoms
• Complemented MacNeille completions and algebras of fractions
• Idempotents in bicategories
• Categories of models of \(\mathbf{R}\)-mingle
• Idempotency, output-drivenness and the faithfulness triangle inequality: some consequences of McCarthy's (2003) categoricity generalization
• Structure theorems for idempotent residuated lattices

This page was built for publication: Idempotent residuated structures: Some category equivalences and their applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5246960)