Quantum logic and the EPR paradox