Permuting Tri (α,β)-Derivation on Almost Distributive Lattices

Abstract

In this paper, we introduce the idea of permuting tri-(α, β)- derivation on ADL’s and proved some results by using this notion. Let h be the trace of permuting tri (α, β)-derivation H on ADL G, if α ≥ H and β ≥ H, then h(x ∧ y) = (α(y) ∧ h(x)) ∨ H(x, x, z) ∨ H(y, y, z) ∨ (β(x) ∧ h(y)).