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

Browse