| L^＊系统中的模糊演绎定理的改进形式 |
| |
| 引用本文： | 吴洪博 王小敏 韩诚. L^＊系统中的模糊演绎定理的改进形式[J]. 四川大学学报(自然科学版), 2005, 42(1): 27-32 |
| |
| 作者姓名： | 吴洪博 王小敏 韩诚 |
| |
| 作者单位： | 陕西师范大学数学研究所，陕西师范大学数学研究所，陕西师范大学数学研究所 西安，710062，西安，710062，西安，710062 |
| |
| 基金项目： | 国家自然科学基金(10471083)，陕西师范大学重点科研项目基金(995130) |
| |
| 摘 要： | 研究了模糊命题演算的形式演绎系统L^*，对其中的演绎定理进行了详细讨论，得到了在一定条件下的L^*系统中的演绎定理：设A，B∈F(S)，若|-(q→p∨p)∨q→A，Γ包含于F(S)，则|-A→B当且仅当rU{A}|-B，将L^*系统中的模糊演绎定理进行了改进，进一步说明了L^*系统所具有的良好性质．同时，在本文定理的证明中进一步体现了L^*系统中的公理L10在模糊命题演算形式演绎系统中的作用，为模糊命题演算的形式演绎系统的研究，特别是L10的应用研究提供了一种新的思路和方法。
|
| 关 键 词： | 模糊逻辑 L^＊系统 圈乘算子 演绎定理 |
An Improved Form of Fuzzy Deduction Theorem in the System L~* |
| |
| WU Hong-bo,WANG Xiao-min,HAN Cheng. An Improved Form of Fuzzy Deduction Theorem in the System L~*[J]. Journal of Sichuan University (Natural Science Edition), 2005, 42(1): 27-32 |
| |
| Authors: | WU Hong-bo WANG Xiao-min HAN Cheng |
| |
| Abstract: | |
| |
| Keywords: | fuzzy logic the system L~* ring-product operator deduction theorem |
| 本文献已被 CNKI 维普 等数据库收录！ |
