摘要： 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 propo

关键词: 泛逻辑 UL 系统 可靠性 基本形式 演绎