Difference between revisions of "Many-valued logic"

Latest revision as of 13:27, 25 August 2016

In logic, a many-valued logic (also multi- or multiple-valued logic) is a propositional calculus in which there are more than two 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

• Many-valued logic @ Wikipedia