论文研究-格值命题逻辑系统.pdf

【文件属性】：

文件名称：论文研究-格值命题逻辑系统.pdf

文件大小：526KB

文件格式：PDF

更新时间：2022-10-02 18:46:11

论文研究

给出了格值命题逻辑系统L9P（X）上的放缩原理和放缩归结原理，基于放缩归结原理，给出了一种判断L9P（X）上子句集S为M－可满足的自动推理算法（这里M为L9上的中界元），并证明了其可靠性和完备性。