Four-valued logic

In logic, a four-valued logic is any logic with four truth values. Multiple such logics were invented to deal with various practical problems.

Four-valued logic

In logic, a four-valued logic is any logic with four truth values. Multiple such logics were invented to deal with various practical problems.