VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS

DOI10.1017/S1755020318000448zbMath1484.03038arXiv1801.06654OpenAlexW3100774355MaRDI QIDQ5107537

J. J. Wannenburg, Tommaso Moraschini, James G. Raftery

Publication date: 27 April 2020

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

relevance logicresiduated latticeSugihara monoidDe 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) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items (5)

The algebraic significance of weak excluded middle laws ⋮ Semilinear De Morgan monoids and epimorphisms ⋮ Singly generated quasivarieties and residuated structures ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness of relevant quantification theories
• On the structure of varieties with equationally definable principal congruences. II
• Connections between congruence-lattices and polynomial properties
• Residuated lattices. An algebraic glimpse at substructural logics
• Positive Sugihara monoids
• Sentential constants in R and \(R^{\neg}\)
• On the structure of De Morgan monoids with corollaries on relevant logic and theories
• Lattices of quasivarieties
• Sentential constants in systems near R
• Varieties of De Morgan monoids: minimality and irreducible algebras
• A category equivalence for odd Sugihara monoids and its applications
• Conservative extension in relevant implication
• Topics in universal algebra
• On conserving positive logics
• Minimal varieties of residuated lattices
• 3088 varieties: A solution to the Ackermann constant problem
• The undecidability of entailment and relevant implication
• Algebraizable logics
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• 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: VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS