Quantum logic Algebraic logic mathematics