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

摘要：

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

关键词：自动推理、归结域、格值逻辑、格蕴涵代数

所属期刊栏目：51

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

资助基金：国家自然科学基金61175055,61305074;贵州省科学技术基金项目LKB[2012]02;贵州民族大学引进人才项目15XRY006

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

页数：共4页

页码：8-11