TL-Subalgebras and TL-Ideals of Sub-BCI-Algebras

In this paper, the concepts of TL-sub-algebras and TL-ideals of sub-BCI-algebras are introduced, a necessary and sufficient condition for a L-subset of sub-BCI-algebra to be a L-sub-algebra (ideal) is stated, and images and inverse-images of L-sub-algebra under sub-BCI-algebra homomorphism are studied. Where T is an arbitrary infinitely v-distributive t-norm on a given complete Brouwerian lattice L.