n值乘积命题逻辑系统的真度研究 |
| |
引用本文: | 南宁,金明慧,惠小静.n值乘积命题逻辑系统的真度研究[J].延安大学学报(自然科学版),2021(1):61-64. |
| |
作者姓名: | 南宁 金明慧 惠小静 |
| |
摘 要: | 对n值Goguen命题逻辑系统进行公理化扩张记为Goguen~,△.在该系统中添加了新的连接词~,△,给出了Goguen n值命题逻辑系统中命题公式的真度、相似度和伪距离的定义,证明了该真度的MP规则、HS规则及相关性质.
|
关 键 词: | Goguen命题逻辑系统 真度 相似度 伪距离 |
本文献已被 CNKI 等数据库收录! |
|