Pages that link to "Item:Q4760547"
From MaRDI portal
The following pages link to Subsumption of the Theory of Boolean Algebras under the Theory of Rings (Q4760547):
Displaying 7 items.
- The axiomatization of override and update (Q975885) (← links)
- Unifying threads in Alfred Tarski's work (Q1286341) (← links)
- Is the principle of contradiction a consequence of \(x^2=x\)? (Q1653549) (← links)
- Definability of Boolean function classes by linear equations over \(\mathbf{GF}(2)\) (Q1878398) (← links)
- Sur une methode algébrique de vérification des théoreèmes de la logique des énoncés (Q2626586) (← links)
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview (Q5425998) (← links)
- Factor principal congruences and Boolean products in filtral varieties (Q6193269) (← links)
