81P10 - Quantum theory :: Axiomatics, foundations, philosophy :: Logical foundations of quantum mechanics; quantum logic