Quantum logic can be formulated either as a modified version of propositional logic or as a noncommutative and non-associative many-valued (MV) logic.
Η κβαντική λογική μπορεί να διαμορφωθεί είτε ως μια τροποποιημένη έκδοση της προτασιακής λογικής είτε ως μια μη-μεταθετική και μη-συνειρμική λογική πολλών τιμών (multi-valued logic).