81P10 Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) [See also 03G12, 06C15] 2516