Quantum logic requires weak modularity
David Moore · E-Periodica · 1993
The spirit of quantum logic cannot be extended to systems, such as separated quantum entities, which do not satisfy the axiom of weak modularity. This is because the implication relation has no definite equational characterisation in such systems