The Weak Completeness of Basic Formal Deductive System UL of Universal Logic
形式系统UL的弱完备性

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.