The writing of the MV-algebras (Q1580657): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
 
(One intermediate revision by one other user not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1023/a:1005069911813 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1493087039 / rank
 
Normal rank

Latest revision as of 10:44, 30 July 2024

scientific article
Language Label Description Also known as
English
The writing of the MV-algebras
scientific article

    Statements

    The writing of the MV-algebras (English)
    0 references
    0 references
    26 July 2001
    0 references
    Chang invented MV-algebras to give a neat, algebraic proof of the completeness of the Łukasiewicz axioms, after the syntactic proof of \textit{A. Rose} and \textit{J. B. Rosser} [Trans. Am. Math. Soc. 87, 1-53 (1958; Zbl 0085.24303)]. His completeness theorem shows that an equation holds for all MV-algebras iff it holds for the single MV-algebra given by the unit real interval \([0,1]\) equipped with negation \(1-x\) and truncated addition. He achieved this in two steps [as witnessed by his papers in Trans. Am. Math. Soc. 88, 467-490 (1958; Zbl 0084.00704) and Trans. Am. Math. Soc. 93, 74-80 (1959; Zbl 0093.01104)]. In the short paper under review, written in a friendly and non-technical style, Chang recalls the origins of MV-algebras. While shifting from Cornell to Los Angeles, and from snow and ice to milder climate, Chang was also shifting from Polish notation to equations, and from maximal to prime ideals. After several years of relative tranquillity, starting from the mid-eighties MV-algebras have become again the object of intense study: since the year 2000 the MSC Classification index has the new special entry 06D35 for them. This is so because MV-algebras are deeply related to lattice-ordered abelian groups (for his proof, Chang had already constructed a functor from MV-chains to totally ordered abelian groups with a distinguished positive element), AF \(C^*\)-algebras, toric varieties and adaptive error-correcting codes [see, e.g., the monograph: \textit{R. L. O. Cignoli, I. M. L. D'Ottaviano} and \textit{D. Mundici}, Algebraic foundations of many-valued reasoning, Kluwer, Dordrecht, Trends in Logic, Studia Logica Library, Vol. 7 (2000; Zbl 0937.06009), as well as \textit{P. Hajek}'s book, Metamathematics of fuzzy logic, Kluwer, Dordrecht, Trends in Logic, Studia Logica Library, Vol. 4 (1998; Zbl 0937.03030)].
    0 references
    Łukasiewicz logic
    0 references
    MV-algebras
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references