many-valued logic

Short definition from Wiktionary

Noun

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

We haven’t written up many-valued logic yet: Simple and Standard meanings, examples and a quiz.