理论前沿与应用研究”(15ZDB018) 国家社科青年项目“集合论及其在弗雷格算术中的应用研究”(16CZX050) 岭南师范学院校级项目“非精确概率逻辑研究”(ZW1909)论文

  • 潘文全:非精确谓词逻辑推理论文

    潘文全:非精确谓词逻辑推理论文

    摘要:非精确概率逻辑是经典命题逻辑的扩张,因为它的元性质都是由命题逻辑的元性质推广而来的。自然扩张推广了命题逻辑的演绎过程;融贯性推广了命题逻辑的演绎封闭且一致。但是如何把谓词...