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

【文件属性】：
文件名称：几个模糊命题逻辑紧致性的新证明 (2012年)
文件大小：573KB
文件格式：PDF
更新时间：2021-04-22 23:35:01
自然科学 论文 紧致性是模糊逻辑的一个重要性质,Godel命题逻辑、NMG命题逻辑和L*命题逻辑都是紧致的。利用滤子理论证明了一类基于左连续t-模的命题逻辑Ha的紧致性,为模糊逻辑紧致性的证明提供了新方法,同时给出了Godel命题逻辑、NMG命题逻辑和L*命题逻辑紧致性定理的新的统一证明。