Birkhoff–von Neumann quantum logic: orthomodular non-distributive projection lattice (quantum)

Layer 1 — Physicsin the quantum subtree

Quantum application of L0 distributive-laws and L0 commutative-laws. Birkhoff–von Neumann (1936) observed that the lattice L(𝓗) of closed subspaces (equivalently orthogonal projections) of a complex Hilbert space 𝓗 is orthomodular (P ⊆ Q…