Charting the Labyrinth of Quantum Logics: A Progress Report

Quantum logic traces to the investigations of Birkhoff and von Neumann1* who suggested that the (closed) subspaces of a (separable) Hilbert space may be interpreted as representing the propositions pertaining to a physical system. Subsequent research has attempted to clarify this suggestion, and a large assortment of mathematical systems have been investigated under the general rubric of quantum logic (QL).