The Leibniz project. (English) Zbl 0394.03058
MSC:
03G25 | Other algebras related to logic |
03G12 | Quantum logic |
81P10 | Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) |
03G25 | Other algebras related to logic |
03G12 | Quantum logic |
81P10 | Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) |