The following pages link to Orthoimplication algebras (Q1227736):
Displaying 20 items.
- Quasi-orthomodular posets and weak BCK-algebras. (Q466880) (← links)
- A new axiomatization of unified quantum logic (Q685166) (← links)
- On the semilattice of weak orders of a set (Q760318) (← links)
- Filters of implication reducts of basic algebras. (Q894674) (← links)
- Congruence kernels of orthomodular implication algebras (Q942101) (← links)
- Nearlattices (Q947812) (← links)
- Minimal quantum logic with merged implications (Q1101108) (← links)
- Induced social welfare functions (Q1115785) (← links)
- An axiom system for orthomodular quantum logic (Q1160172) (← links)
- Quasi-implication algebras. I: Elementary theory (Q1170189) (← links)
- Bibliography on quantum logics and related structures (Q1184069) (← links)
- The logic of distributive nearlattices (Q1797923) (← links)
- Orthomodular bands (Q2088066) (← links)
- Operations and structures derived from non-associative MV-algebras (Q2318244) (← links)
- (Q3100246) (← links)
- The axioms for implication in orthologic (Q3625736) (← links)
- (Q5094605) (← links)
- (Q5144353) (← links)
- Generalized \(\mathbb{XOR}\) operation and the categorical equivalence of the abbott algebras and quantum logics (Q6174272) (← links)
- Extension of sectional pseudocomplementation in posets (Q6615238) (← links)
