We prove that the well-known axiomatic system of MV-algebras is not independent. The axiom of commutativity can be deleted and the remaining axioms are shown to be independent.
We prove that the well-known axiomatic system of MV-algebras is not independent. The axiom of commutativity can be deleted and the remaining axioms are shown to be independent. (en)