n-valued logics ==>


<logic> The state of being true or the state of being false.

2-valued logics

Logics in which there are only two truth-values, namely, truth and falsehood.

Many-valued logics

Logics that recognize more than two truth-values. In 3-valued logics, for example, the third truth-value is often "unknown" or "unprovable" or "neither true nor false". Also called n-valued logics.

[Glossary of First-Order Logic]


Try this search on OneLook / Google

Nearby terms: Truth Sojourner - Isabella Baumfree van Wagener « truth table « truth theories « truth-value » tu quoque » Turing Alan Mathison » Turing Machine