Semilinear De Morgan monoids and epimorphisms

DOI10.1007/s00012-023-00837-1arXiv2206.12461MaRDI QIDQ6142014

James G. Raftery, J. J. Wannenburg

Publication date: 23 January 2024

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

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

zbMATH Keywords

substructural logicrelevance logicresiduated latticeepimorphismsemilinearBeth definabilityDe Morgan monoidDunn monoid

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

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

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