## quantum-logic

Noun

(*plural* quantum logics)

- (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.
^{WP}*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.*^{WP}