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

• 作 者: 张家锋 曹发生
• 机 构: 贵州民族大学理学院,贵州工程应用技术学院理学院
• 出 处: 计算机工程与应用
• 发表日期: 2015年24期
• 关键词: 自动推理 归结域 格值逻辑 格蕴涵代数 automated reasoning resolution fields lattice-valued logic
• 基金项目: 国家自然科学基金（No.61175055,No.61305074）, 贵州省科学技术基金项目（No.LKB[2012]02）, 贵州民族大学引进人才项目（No.15XRY006）

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