增加两类算子的Goguen n值命题逻辑系统的t真度及性质

摘要：

在n值Goguen命题逻辑系统中增加了两类算子对合否定～和△算子,将该系统记为Goguen～,△.在此系统中建立t真度的概念,基于此真度给出了命题之间的t相似度与t伪距离(t任取～,△).证明了t真度的MP规则、HS规则及运算性质.接着,在证明￡伪距离的基础上建立了度量空间,并论证了算子(→),V在逻辑度量空间(F(S),dn)中关于伪距离dn是连续的.

关键词：Goguen命题逻辑系统、t真度、t相似度、t伪距离、连续性

所属期刊栏目：35

分类号：O142(数理逻辑、数学基础)

资助基金：国家自然科学基金;国家自然科学基金;国家级大学生创新创业训练计划项目;研究生教育创新项目

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

页数：共9页

页码：50-58