一类具有3种否定的模糊模态命题逻辑

摘要：

对不同否定知识的认知、区分、表达、推理及计算是模糊知识研究处理的一个基础.具有矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FLCOM是一种能够完整描述模糊知识中的不同否定及其关系与规律的理论.基于FLCOM和中介模态命题逻辑MK,提出一类具有3种否定的模糊模态命题逻辑VKCOM及其扩充系统MTCOM,MS4 COM和MS5COM;讨论了MKCOM的语义和语法解释,并证明了MKCOM的可靠性定理和完备性定理.

关键词：模糊命题逻辑形式系统、中介模态逻辑、模糊模态命题逻辑

所属期刊栏目：44

分类号：O142(数理逻辑、数学基础)

资助基金：国家自然科学基金60973156,61375004;中央高校基本科研业务费专项资金JUSRP51317B

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

页数：共6页

页码：263-268