| 谓词形式系统(A)UL-h∈[0.75,1]及其可靠性 |
| |
| 引用本文： | 马盈仓,何华灿.谓词形式系统(A)UL-h∈[0.75,1]及其可靠性[J].计算机科学,2011,38(5):178-180. |
| |
| 作者姓名： | 马盈仓 何华灿 |
| |
| 作者单位： | 1. 西北工业大学电子信息学院,西安,710072;西安工程大学理学院,西安,710048
2. 西北工业大学计算机学院,西安,710072 |
| |
| 基金项目： | 本文受国家自然科学基金(60273087,60575034),陕西省教育厅专项科研计划项目(2010JK567)，西北工业大学基础研究基金(W018101)资助。 |
| |
| 摘 要： | 对基于一级泛与运算的一阶谓词演算形式系统(A)UL-h∈0.75,1]进行公理化.通过引入全称量词和存在量词,建立与命题形式系统(A)UL-h∈0.75,1]相对应的一阶谓词形式系统V(A)UL-h∈0.75,1]并证明该系统的可靠性定理及演绎定理.
|
| 关 键 词： | 泛逻辑 谓词演算形式系统 泛与运算 |
Predicate Formal System VULh[0.75,1]and its Soundness |
| |
| MA Ying-cang,HE Hua-can.Predicate Formal System VULh[0.75,1]and its Soundness[J].Computer Science,2011,38(5):178-180. |
| |
| Authors: | MA Ying-cang HE Hua-can |
| |
| Affiliation: | (School of Electronics and inlormation,Northwestern Polytechnical University,Xi'an 710072,China),(School of Science,Xi'an Polytechnic University,Xi'an 710048,China);(School of Computer Science,Northwestern Polytechnical University,Xi'an 710072,China) |
| |
| Abstract: | The aim of this paper is the axiomatization for first order predicate calculus formal system VULh0.75,1]
based on first-level universal AND operator. 13y introducing the universal quantifier and existential quantifier, the predi-
cute calculus formal deductive system VULh0.75,1], based on 1-level universal AND operator according to propositional
calculus formal deductive system VULh0.75,1] of universal logic was built up, moreover, the soundness and deduction the-
orems of system VULh0.75,1], a were proved. |
| |
| Keywords: | Universal logic Predicate calculus formal system Universal and operator |
| 本文献已被 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
