many-valued logic

Also known as multiple-valued logic, multi-valued logic, plurivalent logic, polyvalent logic

propositional calculus in which there are more than two truth values