many-valued logic

Noun

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