Semilinear De Morgan monoids and epimorphisms

DOI10.1007/S00012-023-00837-1arXiv2206.12461MaRDI QIDQ6142014FDOQ6142014

J. G. Raftery, J. J. Wannenburg

Publication date: 23 January 2024

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

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.

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Residuated lattices. An algebraic glimpse at substructural logics
• Adding involution to residuated structures
• On the structure of varieties with equationally definable principal congruences. I
• On conserving positive logics
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Algebras Whose Congruence Lattices are Distributive.
• Positive Sugihara monoids
• Varieties of BL-algebras. I: General properties.
• Idempotent residuated structures: Some category equivalences and their applications
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• Algebraic completeness results for R-mingle and its extensions
• FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES
• Representable idempotent commutative residuated lattices
• The subvariety lattice for representable idempotent commutative residuated lattices
• Sentential constants in R and \(R^{\neg}\)
• Structure theorems for idempotent residuated lattices
• Epimorphisms in varieties of residuated structures
• The intersection property of amalgamations
• 3088 varieties: A solution to the Ackermann constant problem
• Epimorphisms, definability and cardinalities
• Generalized ordinal sums and translations
• 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
• Singly generated quasivarieties and residuated structures
• Varieties of De Morgan monoids: minimality and irreducible algebras
• DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS
• VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS
• Epimorphisms in varieties of subidempotent residuated structures

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)