many-valued logic

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