Quantum Logical