many-valued logic

noun

1. 1. the study of logical systems in which the truth-values that a proposition may have are not restricted to two, representing only truth and falsity
   2. such a logical system