many-valued logic

noun
UK /ˌmeni ˈvæljuːd ˈlɒdʒɪk/
US /ˌmeni ˈvæljuːd ˈlɑːdʒɪk/

A kind of logic where statements can be more than just true or false.

In many-valued logic, a statement might be partly true instead of only true or false.


OTHER MEANINGS

2. A system of logic that allows three or more truth values rather than only true and false.

Łukasiewicz developed an early form of many-valued logic with a third value for possibility.

3. A branch of mathematical logic studying formal systems with more than two truth values.

Researchers use many-valued logic to model uncertainty in computer systems.

4. Any logical framework in which propositions may take intermediate degrees of truth.

Fuzzy logic is a well-known example of many-valued logic used in control systems.