(⊙,∨)-Derivations on MV-algebras.

Let A be an MV-algebra. An (⊙ , ∨) -derivation on A is a map d : A → A satisfying: d (x ⊙ y) = (d (x) ⊙ y) ∨ (x ⊙ d (y)) for all x , y ∈ A . This paper initiates the study of (⊙ , ∨) -derivations on MV-algebras. Several families of (⊙ , ∨) -derivations on an MV-algebra are explicitly constructed to give realizations of the underlying lattice of an MV-algebra as lattices of (⊙ , ∨) -derivations. Furthermore, (⊙ , ∨) -derivations on a finite MV-chain are enumerated and the underlying lattice is described. [ABSTRACT FROM AUTHOR]