关于K的三种模糊模态逻辑

发布时间：2018-03-19 07:05

  本文选题：模态逻辑系统　切入点：MR代数　出处：《山东大学学报(理学版)》2008年12期 　论文类型：期刊论文

【摘要】：引入了MR0代数的概念,讨论了它的一些重要性质,给出了MR0代数的同构定理。其次,构建了模态系统K1,证明了在MR0代数语义下该系统是完备的。最后,通过将Kripke模型中的赋值V模糊化,建立了模态逻辑系统K2,并证明了系统K2是可靠的;通过将Kripke模型中的二元关系R模糊化,建立了模态逻辑系统K3,并证明了系统K3是完备的。
[Abstract]:In this paper, the concept of MR0 algebra is introduced, some important properties of it are discussed, and the isomorphism theorem of MR0 algebra is given. Secondly, the modal system K1 is constructed, and it is proved that the system is complete under the semantics of MR0 algebra. By fuzzifying the assignment V in the Kripke model, the modal logic system K2 is established, and the system K2 is proved to be reliable, and the modal logic system K3 is established by fuzzifying the binary relation R in the Kripke model, and it is proved that the system K3 is complete.
【作者单位】： 陕西师范大学数学与信息科学学院;宝鸡文理学院数学系;
【基金】：国家自然科学基金重点资助项目(10331010,10771129)
【分类号】：O141.1

【共引文献】

相关期刊论文 前1条

1 王国俊;刘华文;宋建社;;三I方法综述——它的提出、发展、应用和逻辑版本[J];模糊系统与数学;2006年06期

相关博士学位论文 前1条

1 赖洪亮;Ω-范畴序结构性质的研究[D];四川大学;2007年

相关硕士学位论文 前4条

1 关晓红;多值逻辑系统H_α与偏蕴涵代数[D];陕西师范大学;2007年

2 韩邦合;计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论[D];陕西师范大学;2007年

3 韩召伟;格值自动机的代数性质与极小化算法[D];陕西师范大学;2007年

4 卢延鑫;逻辑学在计算机科学中的应用[D];上海社会科学院;2008年

【相似文献】

相关期刊论文 前3条

1 王元元;从S先生与P先生谜题谈起——模态逻辑简介[J];自然杂志;1984年06期

2 畅大为;畅斌;;确知模态命题逻辑[J];陕西师范大学学报(自然科学版);1988年03期

3 郭美云;;从PAL看认知逻辑的动态转换[J];自然辩证法研究;2006年01期

，

本文编号：1633315