%0 Journal Article
%T The Weak Completeness of Basic Formal Deductive System UL of Universal Logic<br>形式系统UL的弱完备性
%A ZHANG Xiao-Hong HE Hua-Can LI Wei-Hua
%A <br>张小红
%A 何华灿
%A 李伟华
%J 计算机科学
%D 2003
%I 
%X Based on the basic formal deductive system UL of Universal Logic, UL-algebra and D-ideal are proposed in this paper. After the discussion on their basic properties and the relation with BCK-algebra, the weak completeness theory of UL is proved through the present results on prime filter of BCK-algebra.
%K Universal logic
%K Formal system UL
%K UL-algebra
%K BCK-algebra
%K Weak completeness<br>人工智能
%K 模糊集理论
%K 模糊逻辑
%K 推理模式
%K 形式系统
%K UL
%K 弱完备性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=752841C31DB112CD&yid=D43C4A19B2EE3C0A&vid=340AC2BF8E7AB4FD&iid=59906B3B2830C2C5&sid=89F76E117E9BDB76&eid=D767283A3B658885&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=18