In the present paper, among other results, a decomposition formula is given for the w-bounded continuous negative definite functions of a topological *-semigroup S with a weight function w into a proper H*-algebra A in terms of w-bounded continuous positive definite A-valued functions on S. A generalization of a well-known result of K. Harzallah is obtained. An earlier conjecture of the author ...

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

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

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

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

in this paper, we generalize some results from hilbert c*-modules to pro-c*-algebra case. we also give a new proof of the known result that l2(a) is ahilbert module over a pro-c*-algebra a.

‎Let $X$‎, ‎$Y$ and $Z$ be Banach spaces and $f:Xtimes Y‎ ‎longrightarrow Z$ a bounded bilinear map‎. ‎In this paper we‎ ‎study the relation between Arens regularity of $f$ and the‎ ‎reflexivity of $Y$‎. ‎We also give some conditions under which the‎ ‎Arens regularity of a Banach algebra $A$ implies the Arens‎ ‎regularity of certain Banach right module action of $A$‎ .

we investigate the stability of generalizedderivations on banach algebras with a bounded central approximateidentity. we show that every approximate generalized derivation inthe sense of rassias, is an exact generalized derivation. also thestability problem of generalized derivations on the faithful banachalgebras is investigated.