theory of logic based on the orthocomplemented lattice of closed subspaces of a separable Hilbert space, regarded as the lattice of quantum propositions
theory of logic based on the orthocomplemented lattice of closed subspaces of a separable Hilbert space, regarded as the lattice of quantum propositions