TL-subalgebras and TL-ideals of BCK-algebras
In this paper, the concepts of TL-subalgebras, TL ideals and TL-implicative ideals of BCK-algebra are introduced, A necessary and sufficient condition for a L subset of BCK-algebra to be a L-subalgebra (ideal, implicative ideal) is stated, and images and inverseimages of TL-subalgebra under BCK-algebra homomorphism are studied. Also, several characterizations of TL-ideals (implicative ideals) are given. Where T is an arbitrary infinitely (▽)-distributive t-norm on a given complete Brouwerian lattice L .
BCK-algebra TL-subalgebra TL-ideal TL-implicative ideal
Shaoquan Sun Fang He
College of Mathematics and physics, Qingdao University of Science and Technology, Qingdao, China
国际会议
2009 International Workshop on Information Security and Application(2009 信息安全与应用国际研讨会)
青岛
英文
357-359
2009-11-21(万方平台首次上网日期,不代表论文的发表时间)