Pages that link to "Item:Q1768659"
From MaRDI portal
The following pages link to Simple axioms for orthomodular implication algebras (Q1768659):
Displaying 10 items.
- Quasi-orthomodular posets and weak BCK-algebras. (Q466880) (← links)
- Congruence kernels of orthomodular implication algebras (Q942101) (← links)
- Nearlattices (Q947812) (← links)
- Operations and structures derived from non-associative MV-algebras (Q2318244) (← links)
- The Sheffer stroke operation reducts of basic algebras (Q2364787) (← links)
- An implicational logic for orthomodular lattices (Q2979435) (← links)
- Simplified Axiom Schemes for Implication and Iterated Implication (Q3220560) (← links)
- On systems of congruences on principal filters of orthomodular implication algebras (Q3617929) (← links)
- The axioms for implication in orthologic (Q3625736) (← links)
- Orthomodular implication algebras (Q5955524) (← links)