Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
391082 | Fuzzy Sets and Systems | 2007 | 16 Pages |
Abstract
This paper concerns the study of the fragments without implication of the logic of residuated lattices (or monoidal logic, or intuitionistic logic without contraction). We obtain that these fragments are exactly the same fragments as those found in classical logic. As a corollary of this result we obtain that the implication-less fragments of every t-norm based fuzzy logic are exactly the same fragments as those found in classical logic.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence