The Basic Formal Deductive System UL of Universal Logic and its Reliability
泛逻辑的基本形式演绎系统UL及其可靠性

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.