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

Suppose that $A$ is a semi-simple and commutative Banach algebra. In this paper we try to characterize the character space of the Banach algebra $C_{rm{BSE}}(Delta(A))$ consisting of all  BSE-functions on $Delta(A)$ where $Delta(A)$ denotes the character space of $A$. Indeed, in the case that $A=C_0(X)$ where $X$ is a non-empty locally compact Hausdroff space, we give a complete characterizatio...

We study the sequence of consecutive powers of a matrix in the max-plus algebra, which has maximum and addition as its basic operations. If the matrix is irreducible then it is well known that the ultimate behavior of the sequence is cyclic. For reducible matrices the ultimate behavior is more complex, but it is also cyclic in nature. We will give a detailed characterization of the rates and pe...

We provide an introduction to the max-plus algebra and explain how it can be used to model a specific class of discrete event systems with synchronization but no concurrency. Such systems are called max-plus linear discrete event systems because they can be described by a model that is “linear” in the max-plus algebra. We discuss some key properties of the max-plus algebra and indicate how thes...

In this paper, we introduce the notions of expansion of ideals in $MV$-algebras, $ (tau,sigma)- $primary, $ (tau,sigma)$-obstinate  and $ (tau,sigma)$-Boolean  in $ MV- $algebras. We investigate the relations of them. For example, we show that every $ (tau,sigma)$-obstinate ideal of an $ MV-$ algebra is $ (tau,sigma)$-primary  and $ (tau,sigma)$-Boolean. In particular, we define an expansion $ ...

The division algebra of real quaternions, as the only noncommutative normed division real algebra up to isomorphism of normed algebras, is of great importance. In this note, first we present a brief introduction to quaternion matrices and quaternion linear algebra. This, among other things, will help us present the counterpart of a theorem of Herman Auerbach in the setting of quaternions. More ...

Designing software systems is difficult. Designing systems that are capable of evolving is even more difficult. Often the system evolves in an unforeseen direction. Practice shows that software systems grow in small evolutionary steps. An evolution usually influences the behavior and the structure of the system. However, it is not desired that the evolution influences one or more modules of the...

For a Banach algebra $A$, $A''$ is $(-1)$-Weakly amenable if $A'$ is a Banach $A''$-bimodule and $H^1(A'',A')={0}$. In this paper, among other things,  we study the relationships between the $(-1)$-Weakly amenability of $A''$ and the weak amenability of $A''$ or $A$. Moreover, we show that the second dual of every $C^ast$-algebra is $(-1)$-Weakly amenable.

In this paper we review the concepts of the superalgebra, superderivation and some properties of them. We will define algebraic and differential superderivations on a superalgebra and will prove some theorems about them, Then we consider a superalgebra bundle, that is an algebra bundle which its fibers are superalgebras and then characterize the superderivations of the algebra of sections of th...