quantum logic

Short definition from Wiktionary

Noun

1. 1
   A form of non-classical logic which has been abstracted out of quantum mechanics.
2. 2
   A set of events that is closed under a countable disjunction of countably many mutually exclusive events.ᵂᴾ