In this paper rst we dene the notions of positive implicativehyper MV -ideals of types 1,2,3 and 4 in hyper MV -algebras and we investigatethe relationship between of them . Then by some examples we show that thesenotions are not equivalent. Finally we give some relations between these notionsand the notions of (weak) hyper MV -ideals and (weak) hyper MV -deductivesystems of hyper MV -algebras.

The aim of this paper is to apply the concept of interval-valued intuitionistic fuzzy set to implicative ideals and commutative ideals in BCK-algebras and introduced the new notion of interval-valued intuitionistic fuzzy implicative ideals in BCK-algebras and interval-valued intuitionistic fuzzy commutative ideals in BCK-algebras and related properties are investigated.

We consider the fuzzification of the notion of a positive implicative ordered filter in implicative semigroups. We show that every fuzzy positive implicative ordered filter is both a fuzzy ordered filter and a fuzzy implicative ordered filter. We give examples that a fuzzy (implicative) ordered filter may not be a fuzzy positive implicative ordered filter. We also state equivalent conditions of...

We describe weak BCC-algebras (also called BZ-algebras) in which the condition (xy)z = (xz)y is satisfied only in the case when elements x, y belong to the same branch. We also characterize branchwise commutative and branchwise implicative weak BCC-algebras satisfying this condition. We also describe connections between various types of implicative weak BCC-algebras.

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...

We prove that every implicative aBE algebra satisfies the transitivity property. This means is a Tarski algebra, and thus also commutative BCK algebra.

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...