The following pages link to Orthomodular implication algebras (Q5955524):
Displaying 11 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)
- 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)
- The axioms for implication in orthologic (Q3625736) (← links)
