Pages that link to "Item:Q942101"
From MaRDI portal
The following pages link to Congruence kernels of orthomodular implication algebras (Q942101):
Displaying 8 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)
- Operations and structures derived from non-associative MV-algebras (Q2318244) (← links)
- An implication in orthologic (Q2505957) (← links)
- On systems of congruences on principal filters of orthomodular implication algebras (Q3617929) (← links)
- (Q5450583) (← links)
- Orthomodular implication algebras (Q5955524) (← links)