Pavel Pták

Orthomodular structures as quantum logics