sentence1: mv-algebras have been introduced by chang in the attempt to generalize some algebraic techniques from boolean logic to multi-valued logics , from which the term mv derives .
sentence2: mv-algebras were introduced by chang in order to provide an algebraic proof of the completeness theorem of lukasiewicz many-valued logic .