Quantum logic in intuitionistic perspective (Q1604802)

This paper tries to reconcile a non-distributive orthocomplemented lattice (intended for physical properties) on the one hand and a distributive pseudocomplemented lattice (intended for logical propositions) on the other. The author proposes a complete Heyting algebra equipped with a particular kind of closure operator (called the operational resolution) as a unifying framework. In this context he re-discovers a specification and a refinement of \textit{G. Bruns} and \textit{H. Lakser's} [Can. Math. Bull. 13, 115-118 (1970; Zbl 0212.03801)] on injective hulls of meet-semilattices.