NM理论中积分真度的统一理论

摘要：

基于在幂零极小逻辑NM(nilpotent minimun)命题逻辑系统中,通过将公式诱导的函数进行积分的方法提出了公式的积分真度概念,利用积分不变性证明了积分真度MP规则、HS规则;在NM命题逻辑系统的全体公式之集上引入了积分相似度和积分伪距离,并且证明了关于相似度和伪距离的一些性质;通过发散度以及直径的概念,提出了NM命题模糊逻辑中反映理论相容程度新的隶属函数,利用隶属函数给出了相容度的概念,证明了不相容理论的相容度为 0,完全相容理论的相容度为1.

关键词：NM命题逻辑系统、积分真度、伪距离、相容度

所属期刊栏目：41

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金12261090

在线出版日期：2023-05-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：439-445