|
|||||
|
|
| 一阶形式系统K*及其完备性 | |
| 引用本文： | 裴道武.一阶形式系统K*及其完备性[J].数学年刊A辑,2002,23(6):675-684. |
| 作者姓名： | 裴道武 |
| 作者单位： | 西安交通大学理学院,西安,710049;盐城师范学院数学系,江苏盐城,224002 |
| 摘 要： | 模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性. |
| 关 键 词： | 模糊逻辑 一阶谓词演算 形式系统K* Ro代数 完备性 |
| 文章编号： | 1000-8314(2002)06-0675-10 |
| 修稿时间： | 2001年2月12日 |
FIRST-ORDER FORMAL SYSTEM K* AND ITS COMPLETENESS |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |