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 values. Traditionally, in Aristotle's logical calculus, there were only two possible values (i.e., "true" and "false") for any proposition. An obvious extension to classical two-valued logic is an 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 with more than three values, and the infinite-valued, such as fuzzy logic and probability logic.

Read more about Many-valued Logic:  History, Relation To Classical Logic, Relation To Fuzzy Logic, Applications, Research Venues

Famous quotes containing the word logic:

    The logic of worldly success rests on a fallacy: the strange error that our perfection depends on the thoughts and opinions and applause of other men! A weird life it is, indeed, to be living always in somebody else’s imagination, as if that were the only place in which one could at last become real!
    Thomas Merton (1915–1968)