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 note first we define a BCK‐algebra on the states of a deterministic finite automaton. Then we show that it is a BCK‐algebra with condition (S) and also it is a positive implicative BCK‐algebra. Then we find some quotient BCK‐algebras of it. After that we introduce a hyper BCK‐algebra on the set of all equivalence classes of an equivalence relation on the states of a deterministic finite...

In this paper, we introduce the notion of hyper pseudo B C K - algebras, which is a generalization of pseudo BCK -algebras and hyper BCK -algebras and we investigates some related properties. In follow, we de ne some kinds of hyper pseudo BCK -ideals of a hyper pseudo BCK - algebra and we find the relations among them. Finally, we characterize the hyper pseudo BCK -ideals of type 4 generated by...

The foldness of PI( , , ⊆)BCK -ideals and PI(⊆, ⊆, ⊆)BCK -ideals is considered, and their properties are investigated. Hyper homomorphic inverse image of PI( , , ⊆)BCK -ideals, PI( , ⊆, ⊆)BCK -ideals, PI(⊆, ⊆, ⊆)BCK -ideals, and PI( , , )BCK -ideals are discussed.

This study applies the hyperstructure theory to BF-algebra, which is an algebraic structure. In fact, we define hyper-BF-algebras and hyper-BF ideals investigate several of their related characteristics. BF-algebra ideal characteristics are taken into account, supported examples built. Here, also develop new concepts known as hyper-B-algebra, hyper-BG-algebra, hyper-BH algebra generalizations o...

In this paper, we present the notions of cubic (weak) implicative hyper BCK-ideals of hyper BCKalgebras and then we present some results which characterize the above notions according to the level subsets. In addition, we obtain the relationship among these notions, cubic positive implicative hyper BCK-ideals of types-1, 2...8 and obtain some related results.AMS (2010): 06F35.

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

The study of BCK-algebras was initiated by Iséki [7] as a generalization of the concept of set-theoretic difference and propositional calculus. Iséki posed an interesting problem; whether the class of BCK-algebras is a variety. In connection with this problem Komori introduced in [9] a notion of BCC-algebra which is a generalization of a BCK-algebra and proved that the class of all BCC-algebras...