%0 Journal Article
%T Predicate Formal System (A)UL-h∈[0.75,1]and its Soundness<br>谓词形式系统(A)UL-h∈[0.75,1]及其可靠性
%A MA Ying-cang
%A HE Hua-can
%A <br>马盈仓
%A 何华灿
%J 计算机科学
%D 2011
%I 
%X 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.
%K Universal logic
%K Predicate calculus formal system
%K Universal and operator<br>泛逻辑，谓词演算形式系统，泛与运算
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=E33AD7F0109D3EC3628690B0CDF48FFC&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=94C357A881DFC066&sid=4609832E4B5C797B&eid=F1A8654ADB4E656E&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=15