Independence of the axiomatic system for MV-algebras

Mathematica Slovaca

Miroslav Kolařík¹ 

关键词: MV-algebra;    axiomatic system;    independence;   

DOI  :  10.2478/s12175-012-0076-z

学科分类：数学（综合）

来源: Slovenska Akademia Vied * Matematicky Ustav / Slovak Academy of Sciences, Mathematical Institute

【 摘 要 】

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.

【 授权许可】

Unknown