Independence of the axiomatic system for MV-algebras

In: Mathematica Slovaca, vol. 63, no. 1

Miroslav Kolařík

Detaily:

Rok, strany: 2013, 1 - 4

Kľúčové slová:

MV-algebra, axiomatic system, independence

DOI: https://doi.org/10.2478/s12175-012-0076-z

O článku:

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.

Ako citovať:

ISO 690:

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

APA:

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

O vydaní:

Publikované: 1. 2. 2013