Abstract

In this paper, the concepts of TL-strongly implicative ideal of BCI-algebra is introduced. A necessary and sufficient condition for a L- subset of BCI-algebra to be a L-strongly implicative ideal is stated, and inverse-images of TL-strongly implicative ideal under BCI-algebra homomorphism are studied. Also, several characterizations of TL-strongly implicative ideal are given. Where T is an arbitrary t-norm on a given complete Brouwerian lattice L.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call