the aim of this paper is to show that under some mild conditions a functional equation of multiplicative (; )-derivation is superstable on standard operator algebras. furthermore, we prove that this generalized derivation can be a continuous and an inner (; )- derivation.

Model checking of recursion schemes, known as higher-order model checking, has actively been studied recently and is becoming a basis for verification of higher-order programs. Some practical model checking algorithms have been developed based on the reduction from model checking to intersection type inference, but they are not completely satisfactory. We propose a novel approach to developing ...

We extend an existing first-order typing system for strictness analysis to the fully higher-order case, covering both the derivation system and the inference algorithm. The resulting strictness typing system has expressive capabilities far beyond that of traditional strictness analysis systems. This extension is developed with the explicit aim of formally proving soundness of higher-order stric...

After introducing double derivations of $n$-Lie algebra $L$ we‎ ‎describe the relationship between the algebra $mathcal D(L)$ of double derivations and the usual‎ ‎derivation Lie algebra $mathcal Der(L)$‎. ‎In particular‎, ‎we prove that the inner derivation algebra $ad(L)$‎ ‎is an ideal of the double derivation algebra $mathcal D(L)$; we also show that if $L$ is a perfect $n$-Lie algebra‎ ‎wit...

The Lie derivation of multivector fields along multivector fields has been introduced by Schouten (see cite{Sc, S}), and studdied for example in cite{M} and cite{I}. In the present paper we define the Lie derivation of differential forms along multivector fields, and we extend this concept to covariant derivation on tangent bundles and vector bundles, and find natural relations between them and...

let $mathcal{a}$ be a banach algebra and $mathcal{m}$ be a banach $mathcal{a}$-bimodule. we say that a linear mapping $delta:mathcal{a} rightarrow mathcal{m}$ is a generalized $sigma$-derivation whenever there exists a $sigma$-derivation $d:mathcal{a} rightarrow mathcal{m}$ such that $delta(ab) = delta(a)sigma(b) + sigma(a)d(b)$, for all $a,b in mathcal{a}$. giving some facts concerning general...