Quantum logic and hidden variables