G?del n值命题逻辑系统中的Δ真度  

The Δ Truth Degree of G?del n-valued Propositional Logic System

作　　者：朱乃调 惠小静[1] 高晓莉[1] 高姣[1] 

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

出　　处：《模糊系统与数学》2016年第6期12-18,共7页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(11471007);陕西省自然科学基金资助项目(2014JM1020);延安大学研究生创新基金资助项目(YCX201612);陕西省大学生创新训练计划项目(1064)

摘　　要：在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.

关 键 词：GODEL n值命题逻辑系统 Δ算子 Δ真度 

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