The following pages link to Orthomodular implication algebras (Q5955524):
Displaying 19 items.
- Quasi-orthomodular posets and weak BCK-algebras. (Q466880) (← links)
- Orthomodular semilattices (Q861800) (← links)
- Filters of implication reducts of basic algebras. (Q894674) (← links)
- Congruence kernels of orthomodular implication algebras (Q942101) (← links)
- Nearlattices (Q947812) (← links)
- Quantum and classical implication algebras with primitive implications (Q1303419) (← links)
- Quantum implication algebras (Q1421665) (← links)
- Simple axioms for orthomodular implication algebras (Q1768659) (← links)
- The logic of distributive nearlattices (Q1797923) (← links)
- Operations and structures derived from non-associative MV-algebras (Q2318244) (← links)
- The Sheffer stroke operation reducts of basic algebras (Q2364787) (← links)
- An implication in orthologic (Q2505957) (← links)
- Noncommutative symmetric differences in orthomodular lattices (Q2505973) (← links)
- An implicational logic for orthomodular lattices (Q2979435) (← links)
- Orthogonality and Boolean Algebras for Deduction Modulo (Q3007658) (← links)
- (Q3090213) (← links)
- Generalizations of Implication Algebras (Q3396661) (← links)
- The axioms for implication in orthologic (Q3625736) (← links)
- (Q3975473) (← links)