|
|||||
|
|
| 命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论 | |
| 引用本文： | 王国俊,钱桂生,党创寅.命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论[J].中国科学(E辑),2004(10). |
| 作者姓名： | 王国俊 钱桂生 党创寅 |
| 作者单位： | 陕西师范大学数学研究所，香港城市大学，香港城市大学 西安710062西安交通大学基础科学研究中心，西安710049，香港，香港 |
| 基金项目： | 国家自然科学基金重点项目(批准号:10331010) |
| 摘 要： | 引入了度量R0-代数和R0型Hilbert方体的概念. 从语义和语构两个方面建立了同时适用于命题逻辑系统L*与一阶逻辑系统κ*的近似推理理论,并得到了统一的完备性定理. |
| 关 键 词： | 度量R0-代数 R0-型Hibert方体 度量R0-型Lindenbaum代数 近似推理 完备性定理 |
| 本文献已被 CNKI 等数据库收录！ | |