格值模态命题逻辑的替换定理

摘要：

研究了M-格蕴涵代数作为赋值域的格值模态命题逻辑系统中的演绎定理与替换定理,从而为格值命题逻辑系统的完备性定理奠定了基础.

关键词： Lattice-valued modal propositional logic Deduction theorem Substitution theorem

作者: 刘熠 秦亚 牟廉明

作者单位: 内江师范学院数学与信息科学学院 内江641112;西南交通大学智能控制开发中心 成都610031 内江师范学院数学与信息科学学院 内江641112

会议类型: 国内会议

会议名称: 第十二届中国Rough集与软计算学术会议、第六届中国Web智能学术研讨会及第六届中国粒计算学术研讨会联合学术会议

会议地点: 合肥

会议语种:中文

页码: 18-18

在线出版日期: 2012-10-13（万方平台首次上网日期，不代表论文的发表时间）