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