International Journal of Theoretical Physics, 32, 1965-1979 (1993)


Mladen Pavicic

Department of Mathematics, University of Zagreb, GF, Kaciceva 26, POB-217, HR-10001 Zagreb, Croatia;;

Abstract. It is shown that orthomodular lattice can be axiomatized as an ortholattice 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 interpretation of the quantum logical propositions is then provided to establish a support for a novel YES-NO representation of quantum logic which is also given together with a conjecture about possible completion of quantum logic by means of probabilistic forcing.

PACS numbers: 03.65.Bz

Keywords: quantum logic, quantum measurements, forcing.