PROBABILISTIC FORCING IN QUANTUM-LOGICS

It is shown that an orthomodular lattice can be axiomatized as an orth olattice with a unique operation of identity (bi-implication) instead of the operation of implication, and a corresponding algebraic unified quantum logic is formulated. A statistical YES-NO physical interpreta tion of the quantum logical propositions is then provided to establish a support for a novel YES-NO representation of quantum logic which pr ompts a conjecture about a possible completion of quantum logic by mea ns of probabilistic forcing.