四值Godel命题逻辑系统的随机化OA

中文摘要

利用赋值集的随机化方法,在四值Godel命题逻辑系统中引入公式的随机真度概念,该随机真度是已有真度的更一般形式。接着讨论了随机真度的运算性质,并定义了两个公式间的随机相似度,进而建立了随机逻辑度量空间。

作者：惠小静;彭晨雪;何银

作者单位：延安大学数学与计算机科学学院,陕西延安716000延安大学数学与计算机科学学院,陕西延安716000延安大学数学与计算机科学学院,陕西延安716000

分类：数理科学

中文关键词：赋值集随机化方法随机真度随机相似度随机度量空间

刊名：《沈阳大学学报(自然科学版)》 2026 (2)

页码/页数：P.172-178,7

基金：国家自然科学基金资助项目(12261090,12301456)。