10.3969/j.issn.0258-2724.2005.04.024
格值命题逻辑系统LP(X)中广义文字的α-归结域
格值命题逻辑系统LP(X)中广义文字的α-归结域的研究,是基于格值命题逻辑系统LP(X)的α-归结原理研究的继续.该逻辑系统的逻辑真值域是格蕴涵代数.讨论了LP(X)的常量、命题变元和一些广义文字的性质,并得到了它们的α-归结域.
常量、命题变元、广义文字、α-归结域
40
O153.1(代数、数论、组合理论)
国家自然科学基金60474022;河南省自然科学基金200510475028
2005-08-11(万方平台首次上网日期,不代表论文的发表时间)
共4页
544-547