many-valued logic
Noun
Meaning
many-valued logic (plural many-valued logics)
(logic) A kind of non-classical propositional calculus whose semantics makes use of more than two truth values.
Hypernyms: non-classical logic, logic
Hyponyms: fuzzy logic, Łukasiewicz logic, ternary logic
Synonyms
Examples
Both conjunction and disjunction are associative, commutative and idempotent in classical logic, most varieties of many-valued logic and intuitionistic logic.
An obvious extension to classical two-valued logic is a many-valued logic for more than two possible values.
Fuzzy logic is a form of many-valued logic in which the truth values of variables may be any real number between 0 and 1, considered to be "fuzzy".
Suszko's thesis seeAlso Applications Known applications of many-valued logic can be roughly classified into two groups.
Where apparent contradictions arise between such interpretations, we might call the interpretations "incongruent", rather than dubbing either "false", because using many-valued logic implies that a measured value is a mixture of two extreme possibilities.
With these valuations, many-valued logic can be extended to allow for fuzzy premises from which graded conclusions may be drawn.