many-valued logic

propositional calculus in which there are more than two truth values

Categories: