. . "1"^^ . "RIV/61989592:15310/13:33145144!RIV14-MSM-15310___" . . "1" . "Independence of the axiomatic system for MV-algebras" . . . . "Independence of the axiomatic system for MV-algebras"@en . . "[1C2A0120D050]" . . . "Independence of the axiomatic system for MV-algebras" . "15310" . "SK - Slovensk\u00E1 republika" . "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." . "RIV/61989592:15310/13:33145144" . . "P(EE2.3.20.0060)" . "MV-algebra, axiomatic system, independence."@en . "Mathematica Slovaca" . . . "000314185100001" . "63" . "10.2478/s12175-012-0076-z" . "79521" . "0139-9918" . "Independence of the axiomatic system for MV-algebras"@en . . "1"^^ . "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 . . "Kola\u0159\u00EDk, Miroslav" . . .