格值命题逻辑系统LP(X)中广义文字的α-归结域
α-Resolution Fields ofGeneralized Literals ofLogic LP(X)
-
摘要: 格值命题逻辑系统LP(X)中广义文字的α-归结域的研究,是基于格值命题逻辑系统LP(X)的α-归结原 理研究的继续.该逻辑系统的逻辑真值域是格蕴涵代数.讨论了LP(X)的常量、命题变元和一些广义文字的性 质,并得到了它们的α-归结域.Abstract: The research onα-resolution fields of generalized literals of lattice-valued propositional logic LP (X) is the subsequence of the work onα-resolution principle based on lattice-valued propositional logic LP(X), where the algebra of true-values is a lattice implication algebra. The characteristics of constants, prepositional variables and some generalized literals of LP (X) were discussed, and theirα-resolution fieldswere obtained.
-
Key words:
- constant /
- propositional variable /
- generalized literal /
- α-resolution field
点击查看大图
计量
- 文章访问数: 945
- HTML全文浏览量: 56
- PDF下载量: 92
- 被引次数: 0