基于L^＊-格值逻辑上的BCK-代数中直觉不分明化理想  

ON INTUITIONAL FUZZYIFYING IDEALS IN BCK-ALGEBRA BASED ON L^＊-LATTICE VALUED LODIC

作　　者：彭家寅[1] 

机构地区：[1]四川省高等学校数值仿真重点实验室,内江师范学院数学与信息科学学院,内江641100

出　　处：《系统科学与数学》2010年第4期556-576,共21页Journal of Systems Science and Mathematical Sciences

基　　金：四川省科技厅科技重点项目(2006J13-035);四川省教育厅重点实验室专项(2006ZD050)资助

摘　　要：在L^＊-格值逻辑的语义框架下，以L^＊-格值上的Lukasiewicz蕴涵算子为工具定义了L^＊-格值逻辑上的直觉不分明化BCK-代数的概念，将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L^＊-格值谓词演算下给予了新的刻画，讨论了它们的性质及其关系，研究了这些理想与其同态象、同态原象之间关系，获得了同类理想之积仍为该类理想．Under the semantic frame of L^＊-lattice valued logic, we define the concept of intuitional fuzzifying BCK-algebra on L^＊-lattice valued logic by using Lukasiewicz implication operator as tool. In BCK-algebra, the concepts of ideals, positive implicative ideals and im- plicative ideals have ever been depicted by classical set theory, but now, they are redefined by a unary predicate calculus on L^＊-lattice valued logic, and their properties and relations among them are discussed.

关 键 词：L^＊-格值 LUKASIEWICZ蕴涵算子 直觉不分明化BCK-代数 直觉不分明化理想 直觉不分明化正定蕴涵理想 直觉不分明化蕴涵理想 

分 类 号：O153[理学—数学]