Quantum logic can be formulated either as a modified version of propositional logic or as a noncommutative and non-associative many-valued (MV) logic.

— Wikipedia on Quantum logic

2012.03.25 Sunday ACHK