The papers [23], [24], [4], [5], [2], [20], [21], [9], [1], [22], [13], [15], [16], [12], [10], [11], [17], [14], [25], [3], [7], [6], [19], and [8] provide the notation and terminology for this paper. For simplicity, we adopt the following convention: X denotes a complex Banach algebra, w, z, z1, z2 denote elements of X, k, l, m, n denote natural numbers, s1, s2, s3, s, s ′ denote sequences of...

The notation and terminology used here are introduced in the following papers: [17], [19], [20], [3], [4], [2], [16], [5], [1], [18], [9], [11], [12], [8], [6], [7], [13], [10], [21], [14], and [15]. For simplicity, we use the following convention: X denotes a Banach algebra, p denotes a real number, w, z, z1, z2 denote elements of X, k, l, m, n denote natural numbers, s1, s2, s3, s, s ′ denote...

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

First we show that the cosets of a fuzzy ideal μ in a BCK-algebraX form another BCK-algebra  X/μ (called the fuzzy quotient BCK-algebra of X by μ). Also we show thatX/μ is a fuzzy partition of X and we prove several some isomorphism theorems. Moreover we prove that if the associated fuzzy similarity relation of a fuzzy partition P of a commutative BCK-algebra iscompatible, then P is a fuzzy quo...

We introduce an algebra with free variables, an algebra with undefined values, a program algebra over a term algebra, an algebra with integers, and an algebra with arrays. Program algebra is defined as universal algebra with assignments. Programs depend on the set of generators with supporting variables and supporting terms which determine the value of free variables in the next state. The exec...

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

The concept of abstract algebra on intuitionistic fuzzy sets were introduced and some basic theorems proved by authors in 2017. In this study, homomorphism between algebras is defined, function examined then congruence relations are defined algebra. First third isomorphism introduced.

In this paper, we introduce a notion of generalized states from an EQ-algebra E1 to another EQ-algebra E2, which is a generalization of internal states (or state operators) on an EQ-algebra E. Also we give a type of special generalized state from an EQ-algebra E1 to E1, called generalized internal states (or GI-state). Then we give some examples and basic properties of generalized (internal) st...

A C *-algebra A is called an ideal C * -algebra (or equally a dual algebra) if it is an ideal in its bidual A**. M.C.F. Berglund proved that subalgebras and quotients of ideal C*-algebras are also ideal C*-algebras, that a commutative C *-algebra A is an ideal C *-algebra if and only if it is isomorphicto C (Q) for some discrete space ?. We investigate ideal J*-algebras and show that the a...