摘要
在G?del n值命题逻辑系统中添加了Δ算子,给出了G?del n值命题逻辑系统的Δ真度的定义及等价形式,讨论了在该系统下Δ真度的一些基本性质,论证了Δ真度的推理规则。
△ operator is presented in Godel n-valued propositional logic system, the definition of △ truth degree and it＇s equivalent form are given, some basic properties of △ truth degree are discussed, and the inference rules of △ truth degree are proved.
出处
《模糊系统与数学》
CSCD
北大核心
2016年第6期12-18,共7页
Fuzzy Systems and Mathematics
基金
国家自然科学基金资助项目(11471007)
陕西省自然科学基金资助项目(2014JM1020)
延安大学研究生创新基金资助项目(YCX201612)
陕西省大学生创新训练计划项目(1064)
作者简介
朱乃调（1990-），女，陕西人，延安大学数学与计算机科学学院研究生，研究方向：不确定性推理；
惠小静（1973-），女，陕西人，延安大学数学与计算机科学学院教授，研究方向：不确定性推理；
高晓莉（1992-），女，陕西人，延安大学数学与计算机科学学院研究生，研究方向；不确定性推理；
高姣，女，延安大学数学与计算机科学学院2013级学生。
