The Operationand Deductive Theorem in the Formal Deductive System L
Pei Dao · 2001
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.