一阶逻辑论文

推广规则后一阶逻辑公式的准真度
论文摘要计量逻辑理论是逻辑概念程度化研究方向的一个重要分支。但目前计量谓词逻辑的相关研究中,都不曾涉及推广规则。一阶逻辑公式的准真度理论是计量谓词逻辑的一个重要的研究成果,讨论...
一阶逻辑中基于稳定度的项评估方法
论文摘要针对一阶逻辑中项结构比较复杂、语法与语义特征难以抽取的问题,基于项在文字替换过程中的Herbrand语义特征,分析其制约因素和度量规则,给出项稳定度的定义并提出一种基于...