Semilinear De Morgan monoids and epimorphisms

DOI10.1007/S00012-023-00837-1MaRDI QIDQ6142014zbMATH OpenFDO

Authors J. J. Wannenburg, J. G. Raftery

Publication date 23 January 2024

Published in Algebra Universalis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

substructural logicresiduated latticerelevance logicepimorphismsemilinearBeth definabilityDe Morgan monoidDunn monoid

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)

Abstract: A representation theorem is proved for De Morgan monoids that are (i) semilinear, i.e., subdirect products of totally ordered algebras, and (ii) negatively generated, i.e., generated by lower bounds of the neutral element. Using this theorem, we prove that the De Morgan monoids satisfying (i) and (ii) form a locally finite variety. We then prove that epimorphisms are surjective in every variety of negatively generated semilinear De Morgan monoids. In the process, epimorphism-surjectivity is established for several other classes as well, including the variety of all semilinear idempotent commutative residuated lattices and all varieties of negatively generated semilinear Dunn monoids. The results settle natural questions about Beth-style definability for a range of substructural logics.

Cites work

• scientific article; zbMATH DE number 3875359 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 2047484 (Why is no real title available?)
• scientific article; zbMATH DE number 823454 (Why is no real title available?)
• scientific article; zbMATH DE number 3308332 (Why is no real title available?)
• 3088 varieties: A solution to the Ackermann constant problem
• Adding involution to residuated structures
• Algebraic completeness results for R-mingle and its extensions
• Algebras Whose Congruence Lattices are Distributive.
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS
• Epimorphism surjectivity in varieties of Heyting algebras
• Epimorphisms in varieties of residuated structures
• Epimorphisms in varieties of subidempotent residuated structures
• Epimorphisms, definability and cardinalities
• FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES
• Generalized ordinal sums and translations
• Idempotent residuated structures: Some category equivalences and their applications
• Irreducible residuated semilattices and finitely based varieties
• On conserving positive logics
• On the structure of De Morgan monoids with corollaries on relevant logic and theories
• On the structure of varieties with equationally definable principal congruences. I
• Positive Sugihara monoids
• Representable idempotent commutative residuated lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• Sentential constants in R and \(R^{\neg}\)
• Singly generated quasivarieties and residuated structures
• Structure theorems for idempotent residuated lattices
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• The Beth property in algebraic logic
• The intersection property of amalgamations
• The subvariety lattice for representable idempotent commutative residuated lattices
• Universal algebra. Fundamentals and selected topics
• Varieties of BL-algebras. I: General properties.
• Varieties of De Morgan monoids: covers of atoms
• Varieties of De Morgan monoids: minimality and irreducible algebras

This page was built for publication: Semilinear De Morgan monoids and epimorphisms

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