格值模态命题逻辑及其完备性

• 作者: 时慧娴 王国俊
• 来源期刊: 中国科学（信息科学）
• 关键词: 格值模态命题逻辑 模态模型 QMRo代数 有效公式 完备性
• 年，卷（期）: 2011,（1）
• 所属期刊栏目: 系统科学、控制科学与工程
• 页码范围: 66-76
• 页数: 11页
• 语种: 中文

摘要

文中以满足第一及第二无限分配律的完备格为工具,建立了格值模态命题逻辑的语义理论,并指出这种语义是经典模态命题逻辑语义理论及[0,1]值模态命题逻辑语义理论的共同推广.给出了QMR0代数的定义,并分别以Boole代数及QMR6代数为背景构建了Boole型格值模态命题逻辑系统B及QMR0型格值模态命题逻辑系统QMC,并证明了系统B及系统QMC的完备性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学研究所	176	2910	25.0	49.0
2	时慧娴	陕西师范大学数学研究所	7	21	3.0	4.0