The following pages link to (Q3100246):
Displaying 7 items.
- Quasi-orthomodular posets and weak BCK-algebras. (Q466880) (← links)
- Filters of implication reducts of basic algebras. (Q894674) (← links)
- Simple axioms for orthomodular implication algebras (Q1768659) (← links)
- The Sheffer stroke operation reducts of basic algebras (Q2364787) (← links)
- Simple logics for basic algebras (Q2810125) (← links)
- States on implication basic algebras (Q5858310) (← links)
- Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements (Q6165553) (← links)