摘要
在舍弃了经典逻辑系统中公理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.
出处
《山东理工大学学报(自然科学版)》
CAS
2003年第1期76-80,共5页
Journal of Shandong University of Technology:Natural Science Edition