Independence of the axiomatic system for MV-algebras

Year, pages: 2013, 1 - 4

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.

Kolařík, M. 2013. Independence of the axiomatic system for MV-algebras. In Mathematica Slovaca, vol. 63, no.1, pp. 1-4. 0139-9918. DOI: https://doi.org/10.2478/s12175-012-0076-z

Kolařík, M. (2013). Independence of the axiomatic system for MV-algebras. Mathematica Slovaca, 63(1), 1-4. 0139-9918. DOI: https://doi.org/10.2478/s12175-012-0076-z