Pages that link to "Item:Q1092033"
From MaRDI portal
The following pages link to Sentential constants in R and \(R^{\neg}\) (Q1092033):
Displaying 9 items.
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- 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)
- 2010 Winter Meeting of the Association for Symbolic Logic (Q3163665) (← links)
- VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS (Q5107537) (← links)
- The algebraic significance of weak excluded middle laws (Q6094135) (← links)
- Semilinear De Morgan monoids and epimorphisms (Q6142014) (← links)
- Parallelizing the closure computation in automated deduction (Q6488520) (← links)