Maps on a quantum logic
In this paper we will study functions G of two variables on a quantum logic L, such that for each compatible elements \(a,b\in L,\) \(G(a,b)=m(a\wedge b)\) or \( G(a,b)=m(a\vee b)\) or \(G(a,b)=m(a\triangle b),\) where m is a state on L.
compatibility an orthomodular lattice orthogonality maps on an orthomodular lattice