View source for Many-valued logic

In [[logic]], a '''many-valued logic''' (also multi- or multiple-valued logic) is a [[propositional calculus]] in which there are more than two [[Truth value|truth values]].

== Description ==

Traditionally, in Aristotle's logical calculus, there were only two possible values (i.e., "true" and "false") for any proposition. Classical two-valued logic may be extended to n-valued logic for n greater than 2. Those most popular in the literature are three-valued (e.g., Łukasiewicz's and Kleene's, which accept the values "true", "false", and "unknown"), the finite-valued (finitely-many valued) with more than three values, and the infinite-valued (infinitely-many valued), such as fuzzy logic and probability logic.

== See also ==

=== Mathematical logic ===

* [[Degrees of truth]]
* [[Fuzzy logic]]
* [[Gödel logic]]
* [[Kleene logic]]
* [[Kleene algebra (with involution)]]
* [[Łukasiewicz logic]]
* [[MV-algebra]]
* [[Post logic]]
* [[Principle of bivalence]]
* [[A. N. Prior]]
* [[Relevance logic]]

=== Philosophical logic ===

* [[False dilemma]]
* [[Mu]]

=== Digital logic ===

* [[MVCML]], multiple-valued current-mode logic
* [[IEEE 1164]], a nine-valued standard for [[VHDL]]
* [[IEEE 1364]], a four-valued standard for [[Verilog]]
* [[Three-state logic]]
* [[Noise-based logic]]

== External links ==

* [https://en.wikipedia.org/wiki/Many-valued_logic Many-valued logic] @ Wikipedia

[[Category:Logic]]