Varieties of De Morgan monoids: minimality and irreducible algebras

DOI10.1016/J.JPAA.2018.09.015zbMATH Open1506.06008arXiv1801.06650OpenAlexW2784476171MaRDI QIDQ1730847FDOQ1730847

Authors: J. J. Wannenburg, Tommaso Moraschini, J. G. Raftery 

Publication date: 6 March 2019

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: It is proved that every finitely subdirectly irreducible De Morgan monoid A (with neutral element e) is either (i) a Sugihara chain in which e covers not(e) or (ii) the union of an interval subalgebra [not(a), a] and two chains of idempotents, (not(a)] and [a), where a = (not(e))^2. In the latter case, the variety generated by [not(a), a] has no nontrivial idempotent member, and A/[not(a)) is a Sugihara chain in which not(e) = e. It is also proved that there are just four minimal varieties of De Morgan monoids. This theorem is then used to simplify the proof of a description (due to K. Swirydowicz) of the lower part of the subvariety lattice of relevant algebras. The results throw light on the models and the axiomatic extensions of fundamental relevance logics.

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

Recommendations

• Varieties of De Morgan monoids: covers of atoms
• On the structure of De Morgan monoids with corollaries on relevant logic and theories
• Subdirectly irreducible algebras with hyperidentities of the variety of De Morgan algebras.
• scientific article; zbMATH DE number 957395
• scientific article; zbMATH DE number 1094105

zbMATH Keywords

residuated latticerelevance logicSugihara monoidDe Morgan 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) Lattices of varieties (08B15) Model-theoretic forcing (03C25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Cites Work

• Structural Completeness in Substructural Logics
• Title not available (Why is that?)
• The undecidability of entailment and relevant implication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The complexity of decision procedures in relevance logic II
• Title not available (Why is that?)
• A structurally complete fragment of relevant logic
• Residuated lattices. An algebraic glimpse at substructural logics
• A survey of abstract algebraic logic
• Adding involution to residuated structures
• Admissible rules and the Leibniz hierarchy
• On conserving positive logics
• Algebraizable logics
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Algebras Whose Congruence Lattices are Distributive.
• Protoalgebraic logics
• Contextual deduction theorems
• Positive Sugihara monoids
• A category equivalence for odd Sugihara monoids and its applications
• Structural completeness in relevance logics
• Craig interpolation for semilinear substructural logics
• Note on algebraic models for relevance logic
• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• Idempotent residuated structures: Some category equivalences and their applications
• Conserving involution in residuated structures
• There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
• Universal algebra. Fundamentals and selected topics
• Entailment and relevance¹
• Abstract algebraic logic. An introductory textbook
• Distributive full Lambek calculus has the finite model property
• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• Irreducible residuated semilattices and finitely based varieties
• Topics in universal algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic completeness results for R-mingle and its extensions
• Semantics for relevant logics
• The Gentzenization and decidability of RW
• Semi-categorical algebras. I: Semi-primal algebras
• R_I the Bounds of Finitude
• Completeness of relevant quantification theories
• Title not available (Why is that?)
• Duality for algebras of relevant logics
• Title not available (Why is that?)
• A note on R\(\rightarrow\) matrices
• Rule separation and embedding theorems for logics without weakening
• Modalities in Ackermann's “rigorous implication”
• Deduction theorems within RM and its extensions
• Title not available (Why is that?)
• Sentential constants in R and \(R^{\neg}\)
• Stone duality for primal algebra theory
• Implication lattices
• A finite basis theorem for quasivarieties
• 3088 varieties: A solution to the Ackermann constant problem
• Title not available (Why is that?)
• Impossibility of defining the class of \(L_ 0\)-algebras by means of identities
• The Ackermann constant theorem: A computer-assisted investigation
• Sentential constants in systems near R
• On the structure of De Morgan monoids with corollaries on relevant logic and theories
• On interpretation and separation theorems for the logical systems E and R

Cited In (13)

• Semilinear De Morgan monoids and epimorphisms
• On prevarieties of logic
• Epimorphisms in varieties of subidempotent residuated structures
• On the structure of De Morgan monoids with corollaries on relevant logic and theories
• VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
• Sugihara algebras and Sugihara monoids: Multisorted dualities
• New perspectives on semi-primal varieties
• Singly generated quasivarieties and residuated structures
• On pretabular extensions of relevance logic
• The algebraic significance of weak excluded middle laws
• Varieties of De Morgan monoids: covers of atoms
• Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)
• Two pretabular linear extensions of relevance logic R

This page was built for publication: Varieties of De Morgan monoids: minimality and irreducible algebras

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