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

摘要：

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

关键词：模糊逻辑、矛盾否定、对立否定、中介否定、中介模糊公式

分类号：TP18(自动化基础理论)

资助基金：The Science and Technology Program of Guizhou Province of China under Grant No.2324[2012] Contract J

在线出版日期：2014-04-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：494-505