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

• 作者: 夏世芬 徐扬 秦应兵
• 来源期刊: 模糊系统与数学
• 学科: 数学
• 关键词: 格蕴涵代数 格值命题逻辑 归结 滤子
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 模糊集理论
• 页码范围: 1-5
• 页数: 5页
• 分类号: O141
• 字数: 3310字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学数学系	186	1462	15.0	32.0
2	夏世芬	西南交通大学数学系	13	34	3.0	5.0
3	秦应兵	西南交通大学数学系	13	161	5.0	12.0