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

Bipolar-valued fuzzification of the notion of implicative hyper BCK-ideals is considered. Using the concepts of positive and negative lever sets, a characterization of a bipolar fuzzy implicative hyper BCK-ideal is provided. A relation between a bipolar fuzzy hyper BCK-ideal and a bipolar fuzzy implicative hyper BCK-ideal is established. A condition for a bipolar fuzzy hyper BCK-ideal to be a b...

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

In this paper, we define the notions of ultra and involution ideals in $BCK$-algebras. Then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. Specially, we show that in a bounded implicative $BCK$-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower $BCK$-semilattice, the not...

We consider the fuzzification of the notion of fuzzy multiply positive implicative hyper BCK-ideals of BCK-algebras and then some related results are obtained. Using the concept of level subsets, we give a characterization of a fuzzy multiply positive implicative hyper BCK-ideal. We state a relation between a fuzzy hyper BCK-ideal and a fuzzymultiply positive implicative hyper BCK-ideal. Moreov...

Molodtsov [5] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to an implicative ideal of BCK-algebras. The notion of implicative soft ideals in BCKalgebras and implicative idealistic soft BCK-algebras is ...

We consider the fuzzification of the notion of implicative hyper BCK-ideals, and then investigate several properties. Using the concept of level subsets, we give a characterization of a fuzzy implicative hyper BCK-ideal. We state a relation between a fuzzy hyper BCK-ideal and a fuzzy implicative hyper BCK-ideal. We establish a condition for a fuzzy hyper BCK-ideal to be a fuzzy implicative hype...

Fuzzy (weak) implicative hyper K-ideals are introduced, and relations among fuzzy weak implicative hyper K-ideals, fuzzy implicative hyper K-ideals and fuzzy hyper K-ideals are discussed.

We consider the fuzzification of the notion of an n-fold implicative ideal, an n-fold (weak) commutative ideal. We give characterizations of an n-fold fuzzy implicative ideal. We establish an extension property for n-fold fuzzy commutative ideals. 2000 Mathematics Subject Classification. 06F35, 03G25, 03E72.

The notion of intuitionistic fuzzy positive implicative hyper BCK-ideals of type-1, 2... 8 of hyper BCK-algebras was introduced in 2012 by Durga Prasad, Satyanarayana and Ramesh. In this paper, we investigate some related properties of intuitionistic fuzzy positive implicative hyper BCK-ideals of types-1. We characterize positive implicative Artinian (shortly, PI-Artinian) hyper BCK-algebras of...