×

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
PDF BibTeX XML Cite