谓词形式系统UL_(hε[0.75,1])^-及其完备性  

Predicate formal system UL_(hε[0.75,1])^- and its completeness

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

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

出　　处：《计算机工程与应用》2010年第34期17-20,共4页Computer Engineering and Applications

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

摘　　要：主要解决基于一级泛与运算的一阶谓词演算形式系统"ULh-?[0.751]的完备性。通过引入全称量词和存在量词,建立与命题形式系统ULh-?[0.751]相对应的一阶谓词形式系统"ULh-?[0.751],证明其完备性定理。从而说明形式系统"ULh-?[0.751]的语义和语构是和谐的。The main aim of this paper is solving the completeness of first-order predicate calculus formal system ULh^-∈[0.75,1] based on first-level universal AND operator.By introducing the universal quantifier and existential quantifier, the predicate calculus formal deductive system ULh^-∈[0.75,1] based on 0-level universal AND operator according to propositional calculus formal deductive system ULh^-∈[0.75,1] of universal logic is built up,moreover, the completeness theorem of system is proved.So it shows that the semantic and syntactic of system ULh^-∈[0.75,1] are harmony.

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

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