In this article, the notion of $n-$derivation is introduced for all integers $ngeq 2$. Although all derivations are $n-$derivations,  in general these notions are not equivalent. Some properties of ordinary derivations are  investigated for $n-$derivations. Also, we show that under certain mild condition  $n-$derivations are derivations.

In this paper we revisit Ribenboim’s notion of higher derivations modules and relate it to the recent work de Fernex Docampo on sheaf differentials arc space. particular, derive their formula for Kähler Hasse–Schmidt algebra as a consequence fact that functors commute.

This paper begins with a review of those aspects of the theory of higher derivations on fields which form a background for the study of recent uses of higher derivations in automorphism theory of complete local rings. Basic definitions and basic properties of convergent higher derivations on complete local rings are discussed including the concept of convergent rate group of automorphisms, the ...

In this paper, we introduce the notions of $(odot, oplus)$-derivations and $(ominus, odot)$-derivations for $MV$-algebras and discuss some related results. We study the connection between these derivations on an $MV$-algebra $A$ and the derivations on its boolean center. We characterize the isotone $(odot, oplus)$-derivations and prove that $(ominus, odot)$-derivations are isotone. Finally we d...

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

We propose a study of the modes of derivation of higher-order recursion schemes, proving that value trees obtained from schemes using innermost-outermost derivations (IO) are the same as those obtained using unrestricted derivations. Given that higher-order recursion schemes can be used as a model of functional programs, innermost-outermost derivations policy represents a theoretical view point...