Decidability of Quantum Logic