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