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

Substitute Theorem on Continue-Valued Logical System

在舍弃了经典逻辑系统中公理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.