Varieties of De Morgan monoids: covers of atoms

DOI10.1017/S1755020318000448MaRDI QIDQ5107537zbMATH OpenOpenAlexFDO

Authors Tommaso Moraschini, J. J. Wannenburg, J. 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

De Morgan monoidDunn monoidrelevance logicresiduated latticeSugihara 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) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Ordered semigroups and monoids (06F05)

Abstract: The variety DMM of De Morgan monoids has just four minimal subvarieties. The join-irreducible covers of these atoms in the subvariety lattice of DMM are investigated. One of the two atoms consisting of idempotent algebras has no such cover; the other has just one. The remaining two atoms lack nontrivial idempotent members. They are generated, respectively, by 4-element De Morgan monoids C4 and D4, where C4 is the only nontrivial 0-generated algebra onto which finitely subdirectly irreducible De Morgan monoids may be mapped by non-injective homomorphisms. The homomorphic pre-images of C4 within DMM (together with the trivial De Morgan monoids) constitute a proper quasivariety, which is shown to have a largest subvariety U. The covers of the variety V(C4) within U are revealed here. There are just ten of them (all finitely generated). In exactly six of these ten varieties, all nontrivial members have C4 as a retract. In the varietal join of those six classes, every subquasivariety is a variety-in fact, every finite subdirectly irreducible algebra is projective. Beyond U, all covers of V(C4) [or of V(D4)] within DMM are discriminator varieties. Of these, we identify infinitely many that are finitely generated, and some that are not. We also prove that there are just 68 minimal quasivarieties of De Morgan monoids.

Recommendations

• Varieties of De Morgan monoids: minimality and irreducible algebras
• Coherent De Morgan algebras
• On the structure of De Morgan monoids with corollaries on relevant logic and theories
• On a subvariety of semi-De Morgan algebras
• Subdirectly irreducible algebras with hyperidentities of the variety of De Morgan algebras.

Cites work

• 3088 varieties: A solution to the Ackermann constant problem
• A category equivalence for odd Sugihara monoids and its applications
• Algebraic completeness results for R-mingle and its extensions
• Algebraizable logics
• Algebras Whose Congruence Lattices are Distributive.
• Completeness of relevant quantification theories
• Connections between congruence-lattices and polynomial properties
• Conservative extension in relevant implication
• scientific article; zbMATH DE number 4132237 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3487417 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 823454 (Why is no real title available?)
• Idempotent residuated structures: Some category equivalences and their applications
• Lattices of quasivarieties
• Minimal varieties of residuated lattices
• 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. II
• Positive Sugihara monoids
• Residuated lattices. An algebraic glimpse at substructural logics
• Sentential constants in R and \(R^{\neg}\)
• Sentential constants in systems near R
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• The undecidability of entailment and relevant implication
• Topics in universal algebra
• Universal algebra. Fundamentals and selected topics
• Varieties of De Morgan monoids: minimality and irreducible algebras

Cited in

(9)

• Coherent De Morgan algebras
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)
• Epimorphisms in varieties of subidempotent residuated structures
• Singly generated quasivarieties and residuated structures
• The algebraic significance of weak excluded middle laws
• Semilinear De Morgan monoids and epimorphisms
• On pretabular extensions of relevance logic
• Amalgamation in semilinear residuated lattices

This page was built for publication: Varieties of De Morgan monoids: covers of atoms

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