Pages that link to "Item:Q1869610"
From MaRDI portal
The following pages link to Short single axioms for Boolean algebra (Q1869610):
Displaying 29 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)
- Single identities for ternary Boolean algebras (Q1343391) (← links)
- A shortest 2-basis for Boolean algebra in terms of the Sheffer stroke (Q1431337) (← links)
- A single axiom for Boolean algebras (Q1800388) (← links)
- Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus (Q1869616) (← 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)
- Automated discovery of single axioms for ortholattices (Q2577711) (← links)
- Single axioms: With and without computers (Q2725955) (← links)
- Computer Solutions of Problems in Inverse Semigroups (Q3562322) (← links)
- (Q5063421) (← links)
- Relation between Sheffer Stroke and Hilbert algebras (Q5077336) (← links)
- Study strong Sheffer stroke non-associative MV-algebras by fuzzy filters (Q5083842) (← links)
- A Hierarchy of Algebras for Boolean Subsets (Q5098719) (← links)
- Fiala-Agre list of single axioms for Boolean groups is wrong (Q5250572) (← links)
- (Fuzzy) Filters of Sheffer Stroke BL-Algebras (Q5881408) (← links)
- (Anti) fuzzy ideals of Sheffer stroke BCK-algebras (Q5886297) (← links)
- Fuzzy ideals of Sheffer stroke Hilbert algebras (Q6103546) (← links)
- (Q6111725) (← links)
- Stabilizers on Sheffer stroke BL-algebras (Q6544769) (← links)
- BL-algebras defined by an operator (Q6544776) (← links)
- Ideals of Sheffer stroke Hilbert algebras based on fuzzy points (Q6633459) (← links)
