欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
对模糊命题演算的形式演绎系统中的公理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^＊.
同期刊论文项目
同项目期刊论文
期刊信息
位置：