文件名称：论文研究-格值逻辑命题逻辑(Ln×L2)P(X)中广义文字的α-归结性.pdf
文件大小：500KB
文件格式：PDF
更新时间：2022-10-03 01:24:24
论文研究
由于格值逻辑中广义文字结构的复杂性，这必然增加判断两个广义文字是否为α-归结对的难度。根据真值域[Ln×L2]的结构特性和归结水平[α]的特点，研究了真值域为一类格蕴涵代数[Ln×L2]的格值命题逻辑系统[(Ln×L2)P(X)]中0-IESF与其他广义文字之间的α-归结性，得到了两个广义文字可进行α-归结的条件。