Pages that link to "Item:Q1869610"
From MaRDI portal
The following pages link to Short single axioms for Boolean algebra (Q1869610):
Displaying 17 items.
- Mechanizing complemented lattices within Mizar type system (Q286797) (← links)
- A method for finding new sets of axioms for classes of semigroups. (Q453187) (← links)
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- A single axiom for Boolean algebras (Q1800388) (← links)
- Representations of Sheffer stroke algebras and Visser algebras (Q2100205) (← links)
- A view on state operators in Sheffer stroke basic algebras (Q2100287) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Basis reduction for cryptogroups and orthogroups (Q2216527) (← links)
- Certified equational reasoning via ordered completion (Q2305436) (← links)
- A note on minimal axiomatisations of some extensions of MTL (Q2350487) (← links)
- The Sheffer stroke operation reducts of basic algebras (Q2364787) (← links)
- Relation between Sheffer Stroke and Hilbert algebras (Q5077336) (← links)
- Study strong Sheffer stroke non-associative MV-algebras by fuzzy filters (Q5083842) (← links)
- (Fuzzy) Filters of Sheffer Stroke BL-Algebras (Q5881408) (← links)
- (Q5886297) (← links)
- Fuzzy ideals of Sheffer stroke Hilbert algebras (Q6103546) (← links)
- (Q6111725) (← links)
