quantum logic
theory of logic based on the orthocomplemented lattice of closed subspaces of a separable Hilbert space, regarded as the lattice of quantum propositions
en-GB/ˈkwɒntəm ˈlɒd͡ʒɪk/
en-US/ˈkwɑnəm ˈlɑd͡ʒɪk/
theory of logic based on the orthocomplemented lattice of closed subspaces of a separable Hilbert space, regarded as the lattice of quantum propositions