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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1016/j.fss.2007.03.008 | Fuzzy Sets and Systems |
Keywords | Field | DocType |
fuzzy logic,substructural logic,sequent calculus,classical logic | Intuitionistic logic,Discrete mathematics,T-norm fuzzy logics,Łukasiewicz logic,Minimal logic,Substructural logic,Monoidal t-norm logic,Many-valued logic,Intermediate logic,Mathematics | Journal |
Volume | Issue | ISSN |
158 | 23 | 0165-0114 |
Citations | PageRank | References |
2 | 0.40 | 14 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Romà J. Adillon | 1 | 20 | 4.13 |
Àngel García-Cerdaña | 2 | 71 | 10.05 |
Ventura Verdú | 3 | 105 | 13.36 |