n值乘积命题逻辑系统的真度研究  

作　　者：南宁 金明慧 惠小静[1] 

机构地区：[1]延安大学数学与计算机科学学院,陕西延安716000

出　　处：《延安大学学报（自然科学版）》2021年第1期61-64,共4页Journal of Yan'an University：Natural Science Edition

基　　金：国家自然科学基金项目资助(11471007,61763045);国家级大学生创新创业训练计划项目资助(201910719023);延安大学研究生教育创新计划项目(YCX2020096)。

摘　　要：对n值Goguen命题逻辑系统进行公理化扩张记为Goguen~,△。在该系统中添加了新的连接词~,△,给出了Goguen n值命题逻辑系统中命题公式的真度、相似度和伪距离的定义,证明了该真度的MP规则、HS规则及相关性质。

关 键 词：Goguen命题逻辑系统 真度 相似度 伪距离 

分 类 号：O142[理学—数学]