形式演绎系统L~*中的运算与演绎定理

The Operationand Deductive Theorem in the Formal Deductive System L~*

对著名的形式演绎系统 L* 做了进一步的研究 ,得到一些新定理。在系统 L* 中引入新的二元运算 ,讨论了这种运算的性质 ,并由此得到了形式系统 L*

In 1997,Wang Guojun introduced a formal deductive system L * which has been applied to fuzzy reasoning. In this paper, the system L * is further studied, and some new theorems are obtained. After a new operation  is introduced into the system L *, its properties are discussed. Thus the deductive theorem of the system L * is obtained.