几个模糊命题逻辑紧致性的新证明 (2012年)

【文件属性】：

文件名称：几个模糊命题逻辑紧致性的新证明 (2012年)

文件大小：573KB

文件格式：PDF

更新时间：2024-05-12 17:21:41

自然科学 论文

紧致性是模糊逻辑的一个重要性质,Godel命题逻辑、NMG命题逻辑和L*命题逻辑都是紧致的。利用滤子理论证明了一类基于左连续t-模的命题逻辑Ha的紧致性,为模糊逻辑紧致性的证明提供了新方法,同时给出了Godel命题逻辑、NMG命题逻辑和L*命题逻辑紧致性定理的新的统一证明。