%0 Journal Article
%T The Basic Formal Deductive System UL of Universal Logic and its Reliability<br>泛逻辑的基本形式演绎系统UL及其可靠性
%A ZHANG Xiao-Hong HE Hua-Can LI Wei-Hua
%A <br>张小红
%A 何华灿
%A 李伟华
%J 计算机科学
%D 2003
%I 
%X A basic formal deductive system UL of universal logic is introduced for the first time,and quotient algebra is constructed. Then valuation of type H is introduced and reliability theorem is proven. Moreover, the relation between UL and the classical proposition logical system L and fuzzy logical formal deductive system L* are discussed.
%K Universal logic
%K Formal deductive system UL
%K Valuation of type H
%K Reliability
%K Fuzzy logic<br>泛逻辑
%K UL
%K 系统
%K 可靠性
%K 基本形式
%K 演绎
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=016DEC956C79A676&yid=D43C4A19B2EE3C0A&vid=340AC2BF8E7AB4FD&iid=708DD6B15D2464E8&sid=659D3B06EBF534A7&eid=B91E8C6D6FE990DB&journal_id=1002-137X&journal_name=计算机科学&referenced_num=4&reference_num=11