Quantum logic and the classical propositional calculus
Othman Qasim Malhas · Journal of Symbolic Logic · 1987
Abstract In much the same way that it is possible to construct a model of hyperbolic geometry in the Euclidean plane, it is possible to model quantum logic within the classical propositional calculus.