Pages that link to "Item:Q1313086"
From MaRDI portal
The following pages link to Sentential constants in systems near R (Q1313086):
Displaying 6 items.
- Sentential constants in R and \(R^{\neg}\) (Q1092033) (← links)
- The Ackermann constant theorem: A computer-assisted investigation (Q1181706) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Free algebras corresponding to multiplicative classical linear logic and some of its extensions (Q1924328) (← links)
- The 2007 Annual Conference of the Australasian Association for Logic (Q3616440) (← links)
- VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS (Q5107537) (← links)