连续值逻辑系统中的代换定理  

Substitute Theorem on Continue-Valued Logical System

作　　者：杨晓斌[1] 薛贤铭 

机构地区：[1]上海财经大学应用数学系,上海200433 [2]山东省水利技术学院,山东淄博255033

出　　处：《山东理工大学学报（自然科学版）》2003年第1期76-80,共5页Journal of Shandong University of Technology:Natural Science Edition

摘　　要：在舍弃了经典逻辑系统中公理L1的基础上建立了一类模糊命题逻辑的准形式演绎系统L G R,并在此基础上研究了模糊逻辑系统中的代换定理 。Abnegating the first axiom L1) on the classical formal logic system,we established the quasi formal deductive system L * G R . Based on L * G R the substitute theorem were researched.

关 键 词：连续值逻辑系统 代换定理 模糊命题逻辑 准形式演绎系统 完备性 模糊推理 

分 类 号：O141[理学—数学] O159[理学—基础数学]