逻辑系统NMG的满足性和紧致性

紧致性是模糊逻辑的一个重要性质.现已经证明■ukasiewicz命题逻辑、Gdel命题逻辑、乘积命题逻辑和形式系统L*都是紧的.通过刻画逻辑系统NMG中的极大相容理论和证明NMG的满足性,进而证明了NMG也是紧的.

NMG逻辑系统有效集的研究

目的研究命题逻辑系统NMG的有效集。方法非经典逻辑的语义理论。结果得到了NMG有效集的特征,进而以有效集为工具得到了公式集F(S)的一类分划。结论可将NMG系统中的公式分为26个等价类,对形式化的公式集合进行了分类。