Pages that link to "Item:Q1212483"
From MaRDI portal
The following pages link to Orthomodular lattices as implication algebras (Q1212483):
Displaying 8 items.
- A new axiomatization of unified quantum logic (Q685166) (← links)
- Equationally definable implication algebras for orthomodular lattices (Q1153907) (← 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)
- Orthomodular lattices and quadratic spaces: A survey (Q1206738) (← links)
- The conditional in quantum logic (Q1239315) (← links)
- The Sheffer stroke operation reducts of basic algebras (Q2364787) (← links)
