Predicate Formal System (A)UL-h∈[0.75,1]and its Soundness
谓词形式系统(A)UL-h∈[0.75,1]及其可靠性

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.