many-valued logic


noun

  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