格值命题逻辑系统中基于滤子的MP归结演绎

摘要：

给出了格值命题逻辑系统中子句的极简规则型范式,定义了MP归结.结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤予的MP归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理.为进一步研究格值逻辑的自动归结推理奠定了理论基础.

关键词：格蕴涵代数、格值命题逻辑、归结、滤子

所属期刊栏目：23

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

资助基金：国家自然科学基金资助项目60474022;西南交通大学基金资助项目2006809

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

页数：共5页

页码：1-5