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

Pseudo equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvurečenskij and Zahiri under the name of JK-algebras. In this paper we define and study the commutative pseudo equality algebras. We give a characterization of commutative pseudo equality algebras and we prove that an invariant pseudo equa...

and we call A the zero ring denoted by 0. A ring homomorphism is a mapping f of a ring A into a ring B such that for all x, y ∈ A, f(x + y) = f(x) + f(y), f(xy) = f(x)f(y) and f(1) = 1. The usual properties of ring homomorphisms can be proven from these facts. A subset S of A is a subring of A if S is closed under addition and multiplication and contains the identity element of A. The identity ...

We say that a C∗-algebra X has the approximate n-th root property (n ≥ 2) if for every a ∈ X with ‖a‖ ≤ 1 and every ε > 0 there exits b ∈ X such that ‖b‖ ≤ 1 and ‖a − bn‖ < ε. Some properties of commutative and non-commutative C∗-algebras having the approximate nth root property are investigated. In particular, it is shown that there exists a non-commutative (resp., commutative) separable unita...

Recall that a finite-dimensional commutative associative algebra equipped with an invariant nondegenerate symmetric bilinear form is called a Frobenius algebra (here, we do not require an existence of a unit in Frobenius algebra). Any commutative quasi-Frobenius algebra is always Frobenius, i.e., if the identity ab = ba (commutativity) is fulfilled in a quasi-Frobenius algebra, then the identities

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

A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...