自动推理算法相关论文
给出了格值命题逻辑系统L9P（X）上的放缩原理和放缩归结原理，基于放缩归结原理，给出了一种判断，L9P（X）上子句集S为M-可满足的自动推理算法（......
在格值命题逻辑系统L2n＋1P（X）上，提出了半正则的正广义文字和半正则的负广义文字的概念，进一步给出了半正则广义子句和半正则广义予句集......
