Definition:Multi-Value Logic

Definition

Multi-value logic is a branch of logic in which it is admissible for a statements to have a truth value other than just true or false.

Also see

• Probability theory: an extension of multi-value logic over which allowed truth values range over the continuum from true to false.

• Definition:Boolean Algebra

• Results about multi-value logic can be found here.

Sources

• 1993: M. Ben-Ari: Mathematical Logic for Computer Science ... (previous) ... (next): Chapter $1$: Introduction: $\S 1.4$: Non-standard logics