Epimorphisms in varieties of subidempotent residuated structures

DOI10.1007/S00012-020-00694-2zbMATH Open1498.03055arXiv1902.05011OpenAlexW3119238619MaRDI QIDQ2226977FDOQ2226977

Authors: Tommaso Moraschini, J. G. Raftery, J. J. Wannenburg 

Publication date: 9 February 2021

Published in: Algebra Universalis (Search for Journal in Brave)

Abstract: A commutative residuated lattice A is said to be subidempotent if the lower bounds of its neutral element e are idempotent (in which case they naturally constitute a Brouwerian algebra A*). It is proved here that epimorphisms are surjective in a variety K of such algebras A (with or without involution), provided that each finitely subdirectly irreducible algebra B in K has two properties: (1) B is generated by lower bounds of e, and (2) the poset of prime filters of B* has finite depth. Neither (1) nor (2) may be dropped. The proof adapts to the presence of bounds. The result generalizes some recent findings of G. Bezhanishvili and the first two authors concerning epimorphisms in varieties of Brouwerian algebras, Heyting algebras and Sugihara monoids, but its scope also encompasses a range of interesting varieties of De Morgan monoids.

Full work available at URL: https://arxiv.org/abs/1902.05011

Recommendations

• Epimorphisms in varieties of residuated structures
• Epimorphisms in certain varieties of algebras
• Epimorphism surjectivity in varieties of Heyting algebras
• Semiconic idempotent residuated structures
• Structure theorems for idempotent residuated lattices

zbMATH Keywords

substructural logicresiduated latticerelevance logicepimorphismHeyting algebraEsakia spaceBeth definabilityBrouwerian algebraDe Morgan monoid

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Intermediate logics (03B55) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Heyting algebras (lattice-theoretic aspects) (06D20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Title not available (Why is that?)
• Residuated lattices. An algebraic glimpse at substructural logics
• Adding involution to residuated structures
• On conserving positive logics
• Title not available (Why is that?)
• Algebraizable logics
• Title not available (Why is that?)
• Algebras Whose Congruence Lattices are Distributive.
• Positive Sugihara monoids
• A category equivalence for odd Sugihara monoids and its applications
• Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
• Title not available (Why is that?)
• Idempotent residuated structures: Some category equivalences and their applications
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic completeness results for R-mingle and its extensions
• Intuitionistic logic and implicit definability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Completeness of relevant quantification theories
• Title not available (Why is that?)
• Duality for algebras of relevant logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Epimorphisms in varieties of residuated structures
• The intersection property of amalgamations
• A finite basis theorem for quasivarieties
• Title not available (Why is that?)
• Epimorphisms, definability and cardinalities
• On the structure of De Morgan monoids with corollaries on relevant logic and theories
• Epimorphism surjectivity in varieties of Heyting algebras
• The Beth property in algebraic logic
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Title not available (Why is that?)
• DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS
• Categories of models of \(\mathbf{R}\)-mingle
• Varieties of De Morgan monoids: covers of atoms

Cited In (5)

• Epimorphisms in varieties of residuated structures
• Semilinear De Morgan monoids and epimorphisms
• Epimorphically Closed Permutative Varieties
• Singly generated quasivarieties and residuated structures
• BIRKHOFF VARIETY THEOREM FOR MONADIC ALGEBRAS OVER EPIREFLECTIVE SUBCATEGORIES OF ¿-MODELS AND ITS CONNECTION WITH A PROBLEM OF THE EXISTENCE OF NONSURJECTIVE EPIMORPHiSMS

This page was built for publication: Epimorphisms in varieties of subidempotent residuated structures

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