论文研究格值逻辑命题逻辑(Ln×L2)P(X)中广义文字的α归结性.pdf

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