Pages that link to "Item:Q1119633"
From MaRDI portal
The following pages link to On the structure of De Morgan monoids with corollaries on relevant logic and theories (Q1119633):
Displaying 11 items.
- The Ackermann constant theorem: A computer-assisted investigation (Q1181706) (← links)
- Sentential constants in systems near R (Q1313086) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
- Idempotents in R (Q3707992) (← links)
- (Q4329354) (← links)
- VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS (Q5107537) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- Semilinear De Morgan monoids and epimorphisms (Q6142014) (← links)
- Parallelizing the closure computation in automated deduction (Q6488520) (← links)
- On pretabular extensions of relevance logic (Q6636375) (← links)