many-valued logic

noun1

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