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

作者：周红军 王国俊模糊逻辑逻辑系统nmg极大相容理论满足性紧致性cantor空间

摘要：紧致性是模糊逻辑的一个重要性质．现已经证明Lukasiewicz命题逻辑、Godel命题逻辑、乘积命题逻辑和形式系统L^＊都是紧的．通过刻画逻辑系统NMG中的极大相容理论和证明NMG的满足性，进而证明了NMG也是紧的．

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社