Varieties of De Morgan monoids: minimality and irreducible algebras
From MaRDI portal
Publication:1730847
DOI10.1016/j.jpaa.2018.09.015zbMath1506.06008arXiv1801.06650OpenAlexW2784476171MaRDI QIDQ1730847
J. J. Wannenburg, Tommaso Moraschini, James G. Raftery
Publication date: 6 March 2019
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1801.06650
Lattices of varieties (08B15) 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) Model-theoretic forcing (03C25)
Related Items (11)
The algebraic significance of weak excluded middle laws ⋮ VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS ⋮ Semilinear De Morgan monoids and epimorphisms ⋮ New perspectives on semi-primal varieties ⋮ Singly generated quasivarieties and residuated structures ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Sugihara algebras and Sugihara monoids: Multisorted dualities ⋮ Two pretabular linear extensions of relevance logic R ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ On prevarieties of logic ⋮ 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Structural completeness in relevance logics
- Contextual deduction theorems
- A structurally complete fragment of relevant logic
- Completeness of relevant quantification theories
- A note on R\(\rightarrow\) matrices
- There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
- Residuated lattices. An algebraic glimpse at substructural logics
- The Gentzenization and decidability of RW
- Positive Sugihara monoids
- Distributive full Lambek calculus has the finite model property
- A finite basis theorem for quasivarieties
- Impossibility of defining the class of \(L_ 0\)-algebras by means of identities
- Sentential constants in R and \(R^{\neg}\)
- On the structure of De Morgan monoids with corollaries on relevant logic and theories
- The Ackermann constant theorem: A computer-assisted investigation
- Implication lattices
- Sentential constants in systems near R
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- A survey of abstract algebraic logic
- Adding involution to residuated structures
- Rule separation and embedding theorems for logics without weakening
- Duality for algebras of relevant logics
- A category equivalence for odd Sugihara monoids and its applications
- Admissible rules and the Leibniz hierarchy
- Stone duality for primal algebra theory
- Topics in universal algebra
- On conserving positive logics
- On interpretation and separation theorems for the logical systems E and R
- Semi-categorical algebras. I: Semi-primal algebras
- Craig interpolation for semilinear substructural logics
- Modalities in Ackermann's “rigorous implication”
- Entailment and relevance1
- Note on algebraic models for relevance logic
- Structural Completeness in Substructural Logics
- 3088 varieties: A solution to the Ackermann constant problem
- The undecidability of entailment and relevant implication
- Algebraizable logics
- Deduction theorems within RM and its extensions
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- There exist exactly two maximal strictly relevant extensions of the relevant logic R
- The complexity of decision procedures in relevance logic II
- Idempotent residuated structures: Some category equivalences and their applications
- Conserving involution in residuated structures
- Algebras Whose Congruence Lattices are Distributive.
- RI the Bounds of Finitude
- Algebraic completeness results for R-mingle and its extensions
- Semantics for relevant logics
- Protoalgebraic logics
This page was built for publication: Varieties of De Morgan monoids: minimality and irreducible algebras
