Linked from

The 13 pages that link to Many-valued logic, each with the reason it gives.

• Boolean algebraCompared with: It extends or replaces the two-valued setting modeled by the simplest Boolean algebra.

• First-order logicCompared with: It changes the truth-value framework while first-order logic is commonly presented with classical bivalence.

• Propositional logicCompared with: It replaces propositional logic’s classical true-or-false assignments with additional values.

• Classical logicCompared with: It challenges classical bivalence by allowing additional truth values.

• Formal logicCompared with: It replaces the true-or-false assumption used by classical logic.

• Law of Excluded MiddleCompared with: Some systems add truth values without making every classical instance of excluded middle valid.

• DisjunctionCompared with: Its disjunction must combine values beyond the classical true-or-false cases.

• Law of noncontradictionCompared with: Its richer semantics test whether classical true-or-false assumptions are necessary.

• Principle of bivalenceCompared with: It rejects the restriction to true and false by adding values such as indeterminate.

• Philosophical logicCompared with: It offers an alternative to treating every vague statement as simply true or false.