| 谓词形式系统VUL-h∈[0.75,1]及其完备性 |
| |
| 作者姓名： | 马盈仓 何华灿 |
| |
| 作者单位： | 1.西北工业大学 电子信息学院，西安 710072 ;2.西北工业大学 计算机学院，西安 710072 ;3.西安工程大学 理学院，西安 710048 ; |
| |
| 基金项目： | 国家自然科学基金（the National Natural Science Foundation of China under Grant No.60273087,No.60575034）;陕西省教育厅专项科研计划项目（the Special Scientific Research Plan Project of Shaanxi Provincial Education Department under Grant No.2010JK567）;两北工业大学基础研究基金（Basic Scientific Research Foundation of Northwestern Polytechnical University under Grant No.W018101 ）. |
| |
| 摘 要： | 主要解决基于一级泛与运算的一阶谓词演算形式系统VUL-h∈[0.75,1]的完备性。通过引入全称量词和存在量词，建立与命题形式系统VUL-h∈[0.75,1]相对应的一阶谓词形式系统VUL-h∈[0.75,1]，证明其完备性定理。从而说明形式系统VUL-h∈[0.75,1]的语义和语构是和谐的。
|
| 关 键 词： | 泛逻辑 谓词演算形式系统 泛与运算 |
| 收稿时间： | 2010-09-08 |
| 修稿时间： | 2010-10-25 |
| 本文献已被 维普 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
|
