格值命题逻辑系统L2n＋1P（X）中基于半正则广义文字的自动推理算法
摘要
在格值命题逻辑系统L2n＋1P（X）上，提出了半正则的正广义文字和半正则的负广义文字的概念，进一步给出了半正则广义子句和半正则广义予句集的定义，详细地讨论了L2n＋1P（X）上以中界元M为归结水平的半正则广义文字之间的M-归结性，最后，给出了L2n＋1P（X）上基于半正则广义文字的归结水平为M的归结自动推理算法，并验证了其可靠性和完备性。
引用本文（GB/T 7714）
李晓冰, 邱小平, 徐扬. 格值命题逻辑系统L2n＋1P（X）中基于半正则广义文字的自动推理算法[J]. 模糊系统与数学, 2009.
引文网络
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。