%0 Journal Article
%T Predicate formal system based on 0-level universal AND operator and its soundness<br>基于零级泛与运算的谓词形式系统及其可靠性
%A MA Ying-cang
%A HE Hua-can
%A <br>马盈仓
%A 何华灿
%J 计算机应用研究
%D 2011
%I 
%X 对基于零级泛与运算的一阶谓词演算形式系统进行公理化。通过引入全称量词和存在量词，建立与命题形式系统ULh∈(0，1]相对应的一阶谓词形式系统ULh∈(0，1]，证明了其可靠性定理和演绎定理。从而得到所给形式系统中的定理均为重言式，保证了推理的有效性。
%K universal logic
%K predicate calculus formal system
%K universal AND operator<br>泛逻辑
%K 谓词演算形式系统
%K 泛与运算
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=DB3059E312F66AF1ACCF153A0BDF2395&yid=9377ED8094509821&vid=D3E34374A0D77D7F&iid=CA4FD0336C81A37A&sid=656F8C8401D91023&eid=7AA74D31F1FF2DCE&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=1&reference_num=15