In this paper, we introduce the concept of a derivation in an Almost Distributive Lattice (ADL) and derive some important properties of derivations in ADLs. Also we introduce the concepts of a principal derivation, an isotone derivation and the fixed set of a derivation. We derive important results on derivations in Heyting ADLs.

Thrs paper develops a transformational paradrgm by which nonnumertcal algorrthms are treated as fixed pomt computatrons derived from very htgh level problem specrficatrons We begin by presenting an abstract functronal problem specrficatron language SQ’, which 1s shown to express any partial recursive function m a fixed pomt normal form Next, we gtce a nondetermuusttc Iterative schema that rn th...

using fixed point method, we prove some new stability results for lie $(alpha,beta,gamma)$-derivations and lie $c^{ast}$-algebra homomorphisms on lie $c^{ast}$-algebras associated with the euler-lagrange type additive functional equation begin{align*} sum^{n}_{j=1}f{bigg(-r_{j}x_{j}+sum_{1leq i leq n, ineq j}r_{i}x_{i}bigg)}+2sum^{n}_{i=1}r_{i}f(x_{i})=nf{bigg(sum^{n}_{i=1}r_{i}x_{i}bigg)} end{...

The Lipschitz function algebras were first defined in the 1960s by some mathematicians, including Schubert. Initially, the Lipschitz real-value and complex-value functions are defined and quantitative properties of these algebras are investigated. Over time these algebras have been studied and generalized by many mathematicians such as Cao, Zhang, Xu, Weaver, and others. Let  be a non-emp...

abstract. let r be a 2-torsion free ring with identity. in this paper, first we prove that any jordan left derivation (hence, any left derivation) on the full matrix ringmn(r) (n  2) is identically zero, and any generalized left derivation on this ring is a right centralizer. next, we show that if r is also a prime ring and n  1, then any jordan left derivation on the ring tn(r) of all n×n up...

let a be a unital r-algebra and m be a unital a-bimodule. it is shown that every jordan derivation of the trivial extension of a by m, under some conditions, is the sum of a derivation and an antiderivation.