赋值格为险象识别格的一种非经典逻辑系统K~#(Ⅱ)(英文)  

A New Kind of Nonclassical Logical System K~# which Takes Dangerous Signal Recognition Lattice as Evaluation Lattice(Ⅱ)

作　　者：白永成[1] 郑亚林 

机构地区：[1]陕西理工学院数学与计算机科学系,陕西汉中723000 [2]清华大学自动化系智能信息技术国家重点实验室,北京100084

出　　处：《汉中师范学院学报》2004年第6期1-10,共10页Journal of Hanzhong Teachers College

基　　金：ResearchsuppoutedbytheSpecialPlanofShaanxiProvincialEducationDepartment( 0 3JK0 71 )andtheScienceFoundationofShaanxiUniversityofTeachnology .

摘　　要：研究赋值格为非线性序的一种非经典逻辑系统K# .在该系统中 ,格结构不同于Boole代数 ,蕴涵算子→取Kleene_Dienes算子RKD.得到若干结果 ,特别是K# _准重言式恰是经典命题逻辑C2 中的重言式 ,从而也等于C2 中的定理 ,即QT(K# ) =T(C2 ) =Φ├ .In this paper, a new kind of non-classical logic system K~# associated with a nonlinear ordering evaluation lattice is researched. In this new system, the lattice structure is different from Boolean algebra, the implication operator → is just the Kleene-Dienes operator R-(KD). Some results are obtained. Especially, in this system, the K~#-pretautologies just conincide with the C-2-tautologies in classical propositional calculus C-2 and so coincide with the theorems in C-2,i.e.,QT(K~#)=T(C-2)=Φ~├.

关 键 词：FUZZY逻辑 Kleene-Dienes蕴涵算子 Wang Guojun蕴涵算子 准重言式 Α-重言式 α-modus ponens 险象识别格 险象识别逻辑系统 

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