Definition, synonyms and related words
A form of non-classical logic which has been abstracted out of quantum mechanics.