many-valued logic

名词noun

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