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

发布时间：2020-01-31 00:20

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

【相似文献】

相关期刊论文 前2条

1 王国俊;时慧娴;;格值模态命题逻辑及其完备性[J];中国科学:信息科学;2011年01期

2 ;[J];;年期

相关会议论文 前5条

1 张家龙;;亚里士多德模态命题理论的现代解析[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

2 郭泽深;胡浩;;真正的可能性和必然性[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

3 赵总宽;;辩证道义命题逻辑系统DDMT与道义实然世界语义学[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

4 赵总宽;;辩证模态命题逻辑系统DMT与实然世界语义学[A];1997年逻辑研究专辑[C];1997年

5 帖君;;双珠式图示[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

相关硕士学位论文 前1条

1 姚从军;古典命题逻辑与模态命题逻辑[D];河南大学;2005年

，

本文编号：2574864