On the structure of De Morgan monoids with corollaries on relevant logic and theories (Q1119633)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4097370
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On the structure of De Morgan monoids with corollaries on relevant logic and theories |
scientific article; zbMATH DE number 4097370 |
Statements
On the structure of De Morgan monoids with corollaries on relevant logic and theories (English)
0 references
1989
0 references
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{\#}.
0 references
De Morgan monoid
0 references
idempotent generators
0 references
relevant logic R
0 references
arithmetic R{\#}
0 references
0.8171855211257935
0 references
0.8002583980560303
0 references
0.7841607332229614
0 references
