\(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic
Chang introduced MV-algebras to give a purely algebraic proof of the completeness of the Łukasiewicz axioms. In his paper [J. Funct. Anal. 65, 15--63 (1986; Zbl 0597.46059)], the present reviewer established a categorical equivalence between MV-algebras and unital lattice-ordered abelian groups. Divisible MV-algebras are the correspondents of divisible unital lattice-ordered abelian groups. By further equipping a divisible MV-algebra with the well-known \(\Delta\)-operator, one has divisible MV\(_\Delta\)-algebras. The author proves that by expanding MV-algebras to structures allowing minimal and maximal fixed points, one obtains a term-equivalent variant of divisible MV\(_\Delta\)-algebras. He then derives various kinds of results on these algebras, such as subdirect representation, completeness, amalgamation and a representation of free algebras. For background on MV-algebras see the monograph [\textit{R. L. O. Cignoli, I. M. L. D'Ottaviano} and \textit{D. Mundici}, Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)].
scientific article; zbMATH DE number 5599399
scientific article