| 赋值格为险象识别格的一种非经典逻辑系统K#(Ⅱ) |
| |
| 引用本文： | 白永成,郑亚林.赋值格为险象识别格的一种非经典逻辑系统K#(Ⅱ)[J].陕西理工学院学报(社会科学版),2004,22(6):1-10. |
| |
| 作者姓名： | 白永成 郑亚林 |
| |
| 作者单位： | 1. 陕西理工学院,数学与计算机科学系,陕西,汉中,723000
2. 清华大学,自动化系,智能信息技术国家重点实验室,北京,100084 |
| |
| 基金项目： | ResearchsuppoutedbytheSpecialPlanofShaanxiProvincialEducationDepartment
( 0 3JK0 71 )andtheScienceFoundationofShaanxiUniversityofTeachnology . |
| |
| 摘 要： | 研究赋值格为非线性序的一种非经典逻辑低矺#.在该系统中,格结构不同于Boole代数,蕴涵算子→取Kleene-Dienes算子RKD.得到若干结果,特别是K#-准重言式恰是经典命题逻辑C2中的重言式,从而也等于C2中的定理,即QT(K#)=T(C2)=Φ├
.
|
| 关 键 词： | fuzzy逻辑 Kleene-Dienes蕴涵算子 Wang Guojun蕴涵算子 准重言式 α-重言式 α-modus ponens 险象识别格 险象识别逻辑系统 |
A New Kind of Nonclassical Logical System K# which Takes Dangerous Signal Recognition Lattice as Evaluation Lattice ( II ) |
| |
| BAI Yong-cheng,ZHENG Ya-lin.A New Kind of Nonclassical Logical System K# which Takes Dangerous Signal Recognition Lattice as Evaluation Lattice ( II )[J].Journal of Shaanxi University of Technology:Social Sciences,2004,22(6):1-10. |
| |
| Authors: | BAI Yong-cheng ZHENG Ya-lin |
| |
| Abstract: | 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 RKD . Some results are obtained. Especially, in this system, the K#-pretautologies just conincide with the C2 -tautologies in classical prepositional calculus C2 and so coincide with the theorems in C2,i.e. , QT(K#) = T(C2) = φ├. |
| |
| Keywords: | fuzzy logic Kleene-Dienes implication operator Wang Guojun implication operator pretautology α-tautology α-modus ponens dangerous signal recognition lattice dangerous signal recognition logic system |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
