几个模糊命题逻辑紧致性的新证明  

A New Proof of Compactness of Several Fuzzy Proposition Logics

作　　者：张乐[1] 裴道武[1] 

机构地区：[1]浙江理工大学理学院,杭州310018

出　　处：《浙江理工大学学报（自然科学版）》2012年第1期143-145,共3页Journal of Zhejiang Sci-Tech University(Natural Sciences)

基　　金：国家自然科学基金项目(10871229;60863002);浙江理工大学科研项目(YJG-Z07001)

摘　　要：紧致性是模糊逻辑的一个重要性质,Gdel命题逻辑、NMG命题逻辑和L*命题逻辑都是紧致的。利用滤子理论证明了一类基于左连续t-模的命题逻辑Hα的紧致性,为模糊逻辑紧致性的证明提供了新方法,同时给出了Gdel命题逻辑、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.

关 键 词：模糊逻辑 左连续 T-模 滤子 紧致性 

分 类 号：O141.1[理学—数学]