| 一阶形式系统K~*及其完备性 |
| |
| 引用本文： | 裴道武. 一阶形式系统K~*及其完备性[J]. 数学年刊A辑(中文版), 2002, 0(6) |
| |
| 作者姓名： | 裴道武 |
| |
| 作者单位： | 西安交通大学理学院 西安710049 盐城师范学院数学系，江苏盐城224002 |
| |
| 摘 要： | 模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.
|
| 关 键 词： | 模糊逻辑 一阶谓词演算 形式系统K~＊ R0代数 完备性 |
FIRST-ORDER FORMAL SYSTEM K~* AND ITS COMPLETENESS |
| |
| PEI DaowuFaculty of Science,Xi'an Jiaotong University,Xi'an ,China. FIRST-ORDER FORMAL SYSTEM K~* AND ITS COMPLETENESS[J]. Chinese Annals of Mathematics, 2002, 0(6) |
| |
| Authors: | PEI DaowuFaculty of Science Xi'an Jiaotong University Xi'an China |
| |
| Affiliation: | PEI DaowuFaculty of Science,Xi'an Jiaotong University,Xi'an 710049,China, Department of Mathematics,Yancheng Teachers College,Yancheng 224002,China. |
| |
| Abstract: | The formal deductive system L* of fuzzy propositional logic has been successfully applied to the joint research of fuzzy logic and fuzzy reasoning. In this paper, besed on the system L*, corresponding first-order logic system K* is built up, and its completeness also is proved. |
| |
| Keywords: | Fuzzy logic First-order predicate calculus Formal system K* R0 algebra Completeness |
| 本文献已被 CNKI 等数据库收录！ |
