{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q835129","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q835129","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q835129","kernelVersion":"v1","immutable":true,"modified":"2026-01-15T01:29:07Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q835129","name":"\\(\\mu \\)MV-algebras: An approach to fixed points in Łukasiewicz logic","headline":"\\(\\mu \\)MV-algebras: An approach to fixed points in Łukasiewicz logic","description":"scientific article; zbMATH DE number 5599399","url":"https://portal.mardi4nfdi.de/entity/Q835129","datePublished":"2009-08-28","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q454390"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q65161"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.FSS.2007.12.010","url":"https://doi.org/10.1016/J.FSS.2007.12.010"},"sameAs":["https://doi.org/10.1016/J.FSS.2007.12.010"],"comment":"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)].","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1812017"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1818593"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3426561"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3253788"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3269132"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1817694"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5928311"},{"@id":"https://portal.mardi4nfdi.de/entity/Q877263"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5586259"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1307301"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4836218"},{"@id":"https://portal.mardi4nfdi.de/entity/Q801893"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4075454"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3751631"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5936152"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2498905"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4452457"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1079157"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4302355"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3256302"}]},"provenance":{"prov:generatedAtTime":"2026-01-15T01:29:07Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}