逻辑系统NMG 相关硕士博士期刊学术论文

紧致性是模糊逻辑的一个重要性质．现已经证明Lukasiewicz命题逻辑、Godel命题逻辑、乘积命题逻辑和形式系统L^＊都是紧的．通过刻画逻辑......