Orthomodular Structures as Quantum Logics by Sylvia Pulmannova & Pavel Ptak