Pavel Pták

• Orthomodular structures as quantum logics