On three implication-less fragments of t-norm based fuzzy logics

Fuzzy Sets and Systems(2007)

引用 3|浏览0
暂无评分
摘要
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.
更多
查看译文
关键词
fuzzy logic,substructural logic,sequent calculus,classical logic
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要