multi-valued logic

Definitions

A propositional calculus in which there are more than two truth values, such as true, false, and indeterminate.

A formal system that extends classical binary logic by allowing for additional truth values beyond the standard true and false.

Examples

Multi-valued logic extends classical binary systems by allowing for more than two truth values.

In the design of certain computer circuits, multi-valued logic is employed to increase information density.

The philosopher explored the implications of multi-valued logic on the traditional law of excluded middle.

Synonyms

many-valued logic non-classical logic polyvalent logic multiple-valued logic n-valued logic

Antonyms

binary logic bivalent logic two-valued logic classical logic Boolean logic