On the quantum logic approach to quantum mechanics