Pages that link to "Item:Q3695256"
From MaRDI portal
The following pages link to 3088 varieties: A solution to the Ackermann constant problem (Q3695256):
Displayed 12 items.
- Automated reasoning and nonclassical logics: Introduction (Q805615) (← links)
- Sentential constants in R and \(R^{\neg}\) (Q1092033) (← links)
- The Ackermann constant theorem: A computer-assisted investigation (Q1181706) (← links)
- Algorithms for finding matrix models of propositional calculi (Q1181707) (← links)
- Sentential constants in systems near R (Q1313086) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Characterizing finite-valuedness (Q1795205) (← links)
- A pretabular classical relevance logic (Q1935566) (← links)
- 2010 Winter Meeting of the Association for Symbolic Logic (Q3163665) (← 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)