Orthomodular structures as quantum logics - Pták, Pavel (Fundamental theories of physics ;, 1991)