带有不同否定的模糊命题逻辑的形式演绎系统

作者：张胜礼

来源：计算机科学与探索, 2013, (04): 494-505.

• 模糊逻辑
• 矛盾否定
• 对立否定
• 中介否定
• 中介模糊公式 fuzzy logic
• contradictory negation
• opposite negation
• medium negation
• medium fuzzy formula

对于模糊知识及其否定关系,潘正华指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定和中介否定的模糊集FScom(fuzzy sets with contradictory negation,opposite negation and medium negation),随后建立了一种改进的模糊集IFScom(improved FScom)。为给模糊集FScom及其改进IFScom提供一种逻辑工具,提出了一种带有矛盾否定、对立否定和中介否定的模糊命题逻辑演算系统FPcom,并在给定无穷值语义赋值模型以及可满足性定义下,证明了FPcom具有可靠性和完备性。...

• 出版日期2013-8-20
• 单位兴义民族师范学院; 陕西师范大学