Independence of the axiomatic system for MV-algebras

摘要

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.