L*系统中L*10的特点及应用

The Character and Application of Axiom L~*10 in the System (?)

对模糊命题演算的形式演绎系统中的公理L10：（A→B）∨（（A→B）→A∨B）进行了较为深刻的研究，一方面应用L10讨论了L^＊系统与Lukasiewicz系统，GSdel系统的相互独立性，说明L10是L^＊系统区别于其它模糊命题演算的形式演译系统的特征标志，另一方面应用L10证明了L^＊系统中的条件演绎定理，给出了L10在L^＊中的一个重要应用。

We studied the axiom L10 in the formal deductive system L^＊ for fuzzy propositional calculus. At the first. Through utilizing axiom L10, we investigated independences of the system L^＊, Lukasiewicz system, and the Goedel system. This show that axiom L10 is a character mark of the system L^＊; At the second, we proved the conditional deduction theorem in the system L^＊ by employing axiom L10. In this may, we made an important application of axiom L10 in the system L^＊.