In this paper, we introduce the notionofWajsberg implicative ideal(WI-ideal)of lattice Wajsberg algebra.Further, we definelattice H-Wajsberg algebra, implication homomorphismand lattice implication homomorphism oflattice Wajsberg algebra. Finally, we give kernel of implication homomorphism and obtain some oftheir properties.

In this note first we define the notions of intuitionistic fuzzy dual positive implicative hyper K-ideals of types 1,2,3,4 and intuitionistic fuzzy dual hyper K-ideals. Then we give some classifications about these notions according to the level subsets. Also by given some examples we show that these notions are not equivalent, however we prove some theorems which show that there are some relat...

The concept of quasi-coincidence of an interval valued fuzzy set is considered. By using this idea, the notion of interval valued (α, β)−fuzzy sub-implicative ideals of BCIalgebras is introduced, which is a generalization of a fuzzy sub-implicative ideal. Also some related properties are studied and in particular, the interval valued (∈,∈ ∨q)−fuzzy subimplicative ideals in a BCI-algebra will be...

in this paper rst we dene 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 main aim of this work is to introduce and study the notions ideal direct product d-algebras, d-ideal sub-direct edge positive implicative d-algebras investigate their characterizations.

The study of BCK-algebras was initiated by K. Iséki in 1966 as a generalization of the concept of set-theoretic difference and propositional calculus. The hyperstructure theory (called also multialgebras) is introduced in 1934 by Marty [6] at the 8th congress of Scandinavian Mathematicians. Around the 40’s, several authors worked on hypergroups, especially in France and in the United States, bu...

we present some connections between the max-min general fuzzy automaton theory and the hyper structure theory. first, we introduce a hyper bck-algebra induced by a max-min general fuzzy automaton. then, we study the properties of this hyper bck-algebra. particularly, some theorems and results for hyper bck-algebra are proved. for example, it is shown that this structure consists of different ty...

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

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