摘要： Based on the basic formal deductive system UL of Universal Logic, UL-algebra and D-tdeal are proposect 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 th

关键词: 人工智能 模糊集理论 模糊逻辑 推理模式 形式系统 UL 弱完备性