摘要
1引言
自Zadeh[1]于1965年建立模糊集理论以后,一种初始形态的模糊逻辑也被提出[2].尽管模糊推理在模糊控制中有直接的应用,也受到模糊系统与人工智能学界的广泛关注.
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.
出处
《计算机科学》
CSCD
北大核心
2003年第12期103-107,共5页
Computer Science
基金
国家自然科学基金(批准号:60273087)
