欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
紧致性是模糊逻辑的一个重要性质，Godel命题逻辑、NMG命题逻辑和L^＊命题逻辑都是紧致的。利用滤子理论证明了一类基于左连续t-模的命题逻辑鼠的紧致性，为模糊逻辑紧致性的证明提供了新方法，同时给出了Godel命题逻辑、NMG命题逻辑和L^＊命题逻辑紧致性定理的新的统一证明。
英文摘要：
Compactness is an important property of fuzzy logic. It is well known that Godel proposition logic, NMG proposition logic and L^＊ proposition logic are all compact. By using filter theory, the compactness theorem of a type of left-continuous t-norm based logic, Ho, is proved in this paper, which provides a new method for proving compactness in fuzzy logics. Meanwhile, the above results also provide a uniform proof of compactness theorem of Godel proposition logic, NMG proposition logic and L^＊ proposition logic.
同期刊论文项目
同项目期刊论文
位置：