In his classical paper 1 , Chang invented the notion of MV-algebra in order to provide an algebraic proof of the completeness theorem of infinite valued Lukasiewicz propositional calculus. Recently, the algebraic theory of MV-algebras is intensively studied, see 2–5 . The notion of derivation, introduced from the analytic theory, is helpful to the research of structure and property in algebraic...