On the structure of De Morgan monoids with corollaries on relevant logic and theories
A De Morgan monoid is constant iff it is generated by its identity alone. It is shown that the only nontrivial proper homomorphic image of a prime De Morgan monoid in a constant one is the 4-element algebra C4. Moreover, the only element mapped by such a homomorphism to the lattice 0 of C4 is the lattice 0 of the original. These facts are used to obtain results on De Morgan monoids with idempotent generators, including a complete description of the free De Morgan monoid with one idempotent generator. The paper concludes with some applications to the relevant logic R and particularly to the arithmetic R{\#}.
- The Ackermann constant theorem: A computer-assisted investigation
- Sentential constants in systems near R
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Epimorphisms in varieties of subidempotent residuated structures
- 3088 varieties: A solution to the Ackermann constant problem
- Idempotents in R
- scientific article; zbMATH DE number 1735985 (Why is no real title available?)
- Models of relevant arithmetic
- Varieties of De Morgan monoids: covers of atoms
- Singly generated quasivarieties and residuated structures
- Semilinear De Morgan monoids and epimorphisms
- Parallelizing the closure computation in automated deduction
- On pretabular extensions of relevance logic
- Relevant number theory with cancellation
This page was built for publication: On the structure of De Morgan monoids with corollaries on relevant logic and theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1119633)
