谓词形式系统UL_h^-∈[0.75,1]及其可靠性  

Predicate Formal System UL_h^-∈[0.75,1] and its Soundness

作　　者：马盈仓[1,2] 何华灿[3] 

机构地区：[1]西北工业大学电子信息学院,西安710072 [2]西安工程大学理学院,西安710048 [3]西北工业大学计算机学院,西安710072

出　　处：《计算机科学》2011年第5期178-180,223,共4页Computer Science

基　　金：国家自然科学基金(60273087;60575034);陕西省教育厅专项科研计划项目(2010JK567);西北工业大学基础研究基金(W018101)资助

摘　　要：对基于一级泛与运算的一阶谓词演算形式系统ULh-∈[0.75,1]进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh-∈[0.75,1]相对应的一阶谓词形式系统ULh-∈[0.75,1],并证明该系统的可靠性定理及演绎定理。The aim of this paper is the axiomatization for first-order predicate calculus formal system UL-h∈[0.75,1] based on first-level universal AND operator.By introducing the universal quantifier and existential quantifier,the predicate calculus formal deductive system UL-h∈[0.75,1] based on 1-level universal AND operator according to propositional calculus formal deductive system UL-h∈[0.75,1] of universal logic was built up,moreover,the soundness and deduction theorems of system UL-h∈[0.75,1] were proved.

关 键 词：泛逻辑 谓词演算形式系统 泛与运算 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] B815[自动化与计算机技术—控制科学与工程]