格值命题逻辑系统LP(X)中广义文字的α-归结域 (2005年)

【文件属性】：

文件名称：格值命题逻辑系统LP(X)中广义文字的α-归结域 (2005年)

文件大小：250KB

文件格式：PDF

更新时间：2024-06-06 19:40:13

工程技术 论文

格值命题逻辑系统LP（X）中广义文字的α-归结域的研究，是基于格值命题逻辑系统LP（X）的α-归结原理研究的继续。该逻辑系统的逻辑真值域是格蕴涵代数。讨论了LP（X）的常量、命题变元和一些广义文字的性质，并得到了它们的α-归结域。