# zbMATH — the first resource for mathematics

Independent axiomatization of MV-algebras. (English) Zbl 0939.03076
In this paper, three equivalent axiomatizations of MV-algebras, due to Chang (1958), Mangani (1973) and Pasquetto (1992), are presented, and a simplified axiomatization of MV-algebras with a proof of the independence of the axioms is given.

##### MSC:
 03G25 Other algebras related to logic 06D35 MV-algebras 03B50 Many-valued logic