格值逻辑命题逻辑(Ln × L2)P( X )中广义文字的α-归结性

• 作者: 张家锋 曹发生
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 自动推理 归结域 格值逻辑 格蕴涵代数
• 年，卷（期）: 2015,（24）
• 所属期刊栏目: 博士论坛
• 页码范围: 8-11
• 页数: 4页
• 分类号: O142
• 字数: 5482字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1508-0168

摘要

由于格值逻辑中广义文字结构的复杂性,这必然增加判断两个广义文字是否为α-归结对的难度.根据真值域 Ln × L2 的结构特性和归结水平 α 的特点,研究了真值域为一类格蕴涵代数 Ln × L2 的格值命题逻辑系统(Ln × L2)P(X )中0-IESF与其他广义文字之间的α-归结性,得到了两个广义文字可进行α-归结的条件.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张家锋	贵州民族大学理学院	10	17	2.0	4.0
2	曹发生	贵州工程应用技术学院理学院	6	5	1.0	2.0