| 形式系统L*(n)的完备性 |
| |
| 引用本文： | 裴道武,王三民.形式系统L*(n)的完备性[J].高校应用数学学报(A辑),2001,16(3). |
| |
| 作者姓名： | 裴道武 王三民 |
| |
| 作者单位： | 1. 四川大学 数学学院,
2. 陕西师范大学 数学研究所, |
| |
| 摘 要： | 模糊逻辑命题演算形式系统 L*自 1 997年被提出以来 ,在模糊逻辑与模糊推理的理论与应用中发挥了重要的作用 .系统 L* 的完备性直到最近才由作者给出证明 .本文进一步研究系统 L*的扩张在 n元 R0 链 Wn 上的完备性问题 ,通过构造公式列 ,得到系统 L*的扩张列 { L* (n) } ,使用代数方法证明了对于任何n≥ 3 ,系统 L* (n)关于 Wn 是完备的
|
| 关 键 词： | 多值逻辑 模糊逻辑 形式系统L* 扩张L*(n) 完备性 |
THE COMPLETENESS OF THE FORMAL DEDUCTIVE SYSTEM L*(n) |
| |
| PEI Dao wu,WANG San min.THE COMPLETENESS OF THE FORMAL DEDUCTIVE SYSTEM L*(n)[J].Applied Mathematics A Journal of Chinese Universities,2001,16(3). |
| |
| Authors: | PEI Dao wu WANG San min |
| |
| Institution: | PEI Dao wu+1,WANG San min+2 |
| |
| Abstract: | |
| |
| Keywords: | Many\|valued Logic Fuzzy Logic Formal System L * Extension L *(n) Completeness |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
