History
Some particular t-norm fuzzy logics have been introduced and investigated long before the family was recognized (even before the notions of fuzzy logic or t-norm emerged):
- Łukasiewicz logic (the logic of the Łukasiewicz t-norm) was originally defined by Jan Łukasiewicz (1920) as a three-valued logic; it was later generalized to n-valued (for all finite n) as well as infinitely-many-valued variants, both propositional and first-order.
- Gödel–Dummett logic (the logic of the minimum t-norm) was implicit in Gödel's 1932 proof of infinite-valuedness of intuitionistic logic. Later (1959) it was explicitly studied by Dummett who proved a completeness theorem for the logic.
A systematic study of particular t-norm fuzzy logics and their classes began with Hájek's (1998) monograph Metamathematics of Fuzzy Logic, which presented the notion of the logic of a continuous t-norm, the logics of the three basic continuous t-norms (Łukasiewicz, Gödel, and product), and the 'basic' fuzzy logic BL of all continuous t-norms (all of them both propositional and first-order). The book also started the investigation of fuzzy logics as non-classical logics with Hilbert-style calculi, algebraic semantics, and metamathematical properties known from other logics (completeness theorems, deduction theorems, complexity, etc.).
Since then, a plethora of t-norm fuzzy logics have been introduced and their metamathematical properties have been investigated. Some of the most important t-norm fuzzy logics were introduced in 2001, by Esteva and Godo (MTL, IMTL, SMTL, NM, WNM), Esteva, Godo, and Montagna (propositional ŁΠ), and Cintula (first-order ŁΠ).
Read more about this topic: T-norm Fuzzy Logics
Famous quotes containing the word history:
“Certainly there is not the fight recorded in Concord history, at least, if in the history of America, that will bear a moment’s comparison with this, whether for the numbers engaged in it, or for the patriotism and heroism displayed.”
—Henry David Thoreau (1817–1862)
“The principle that human nature, in its psychological aspects, is nothing more than a product of history and given social relations removes all barriers to coercion and manipulation by the powerful.”
—Noam Chomsky (b. 1928)
“America is the only nation in history which, miraculously, has gone directly from barbarism to degeneration without the usual interval of civilization.”
—Attributed to Georges Clemenceau (1841–1929)