Noun
(logic, quantum mechanics) A form of non-classical logic which has been abstracted out of quantum mechanics.
(logic, quantum mechanics) A 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.