Many-valued Logic Definition

noun

A kind of non-classical propositional calculus whose semantics makes use of more than two truth values.

Wiktionary