Predicate Formal System Based on 0-level Universal and Operator and its Completeness
Universal logic is a new continuous-valued logic system in studying flexible world′s logical rule,which uses generalized correlation and generalized autocorrelation to describe the relationship between propositions.The main aim of this paper is solving the completeness of first-order predicate calculus formal system ULh∈(0,1] based on 0-level universal and operator.By introducing the universal quantifier and existential quantifier,the predicate calculus formal deductive system ULh∈(0,1] based on 0-level universal and operator according to propositional calculus formal deductive system ULh∈(0,1] of universal logic is built up,moreover,the completeness theorem of system ULh∈(0,1] are proved.So it shows that the semantic and syntactic of system ULh∈(0,1] are harmony.