1.NounA form of non-classical logic which has been abstracted out of quantum mechanics.
2.NounA set of events that is closed under a countable disjunction of countably many mutually exclusive events.
"The representation theorem (for quantum logic) shows that these quantum logics form a lattice which is isomorphic to the lattice of subspaces of a vector space with a scalar product."