In the present paper, by considering the notion of ideals in $MV$-algebras, we study some kinds of ideals in $MV$-algebras and obtain some results on them. For example, we present definition of ultra ideal in $MV$-algebras, and we get some results on it. In fact, by definition of ultra ideals, we present new conditions to have prime ideals, positive implicative ideals and maximal ideals in $MV$...

The study of symmetry is one the most important and beautiful themes uniting various areas contemporary arithmetic. Algebraic structures are useful in pure mathematics for learning a geometrical object’s symmetries. In this paper, we introduce new concepts an algebraic structure called BCI-algebra, where present bipolar fuzzy (closed) BCI-positive implicative ideals BCI-commutative BCI-algebras...

We introduce the notion of positive implicative ordered filters in implicative semigroups. We show that every positive implicative ordered filter is both an ordered filter and an implicative ordered filter. We give examples that an ordered filter (an implicative ordered filter) may not be a positive implicative ordered filter. We also give equivalent conditions of positive implicative ordered f...

In this paper, we acquaint new kinds of ideals BCK-algebras built on tripolar picture fuzzy structures. fact, the notions ideal, implicative ideal (commutative ideal) BCK-algebra are introduced, and related properties studied. Also, a relation among is well-known. Furthermore, it shown that may be but converse not correct in common. Further, obtained an BCK-algebra, aforementioned statement tru...

We introduce the notion of n-fold implicative filters and n-fold implicative lattice implication algebras. We give characterizations of n-fold implicative filters and nfold implicative lattice implication algebras. Finally, we construct an extension property for n-fold implicative filter. 2000 Mathematics Subject Classification. 03G10, 06B10.

The concepts of (∈,∈ ∨ q)-fuzzy (implicative, positive implicative and fantastic) filters of BL-algebras are introduced and some related properties are investigated. Some characterizations of these generalized fuzzy filters are derived. In particular, we describe the relationships among ordinary fuzzy (implicative, positive implicative and fantastic) filters, (∈,∈∨q)-fuzzy (implicative, positiv...

In this paper, we investigate the ideal theory in BCK-algebras and we define the notions of primary and P -primary ideals. Then we show that in bounded implicative BCK-algebras, if an ideal has a primary decomposition, then it has a reduced primary decomposition. In the follow, we extend the above concepts to X-modules (Extended BCK-modules) and we introduce the notions of primary and P -primar...

The notion of soft BCI-implicative ideals and BCI-implicative idealistic soft BCI-algebras is introduced and their basic properties are discussed. Relations between soft ideals and soft BCI-implicative ideals of soft BCI-algebras are provided. Also idealistic soft BCI-algebras and BCI-implicative idealistic soft BCI-algebras are being related. The intersection, union, “AND” operation and “OR” o...

 In this paper, we aresupposed to introduce the definitions of n-fold commutative, andimplicative hyper K-ideals. These definitions are thegeneralizations of the definitions of commutative, andimplicative hyper K-ideals, respectively, which have been definedin [12]. Then we obtain some related results. In particular wedetermine the relationships between n-fold implicative hyperK-ideal and n-fol...

In this paper, we deal with soft lattice implication algebras based on fuzzy sets. Using the concepts of fuzzy (implicative) filters, (∈,∈∨q)fuzzy (implicative) filters and (∈,∈∨q)-fuzzy (implicative) filters, some characterizations for ∈-soft sets and q-soft sets to be (implicative) filteristic soft lattice implication algebras are established.