四值Gödel命题逻辑系统的随机化

惠小静, 彭晨雪, 何银

沈阳大学学报(自然科学版) ›› 2026, Vol. 38 ›› Issue (02) : 172 -178.

PDF
沈阳大学学报(自然科学版) ›› 2026, Vol. 38 ›› Issue (02) : 172 -178. DOI: 10.16103/j.cnki.21-1583/n.2026.02.004

四值Gödel命题逻辑系统的随机化

    惠小静, 彭晨雪, 何银
作者信息 +

Author information +
文章历史 +
PDF

摘要

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

关键词

赋值集 / 随机化方法 / 随机真度 / 随机相似度 / 随机度量空间

Key words

引用本文

引用格式 ▾
惠小静, 彭晨雪, 何银. 四值Gödel命题逻辑系统的随机化[J]. 沈阳大学学报(自然科学版), 2026, 38(02): 172-178 DOI:10.16103/j.cnki.21-1583/n.2026.02.004

登录浏览全文

4963

注册一个新账户 忘记密码

参考文献

AI Summary AI Mindmap
PDF

0

访问

0

被引

详细

导航
相关文章

AI思维导图

/