One chain generated varieties of MV-algebras (Q1972417)

From MaRDI portal
Revision as of 16:38, 1 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
One chain generated varieties of MV-algebras
scientific article

    Statements

    One chain generated varieties of MV-algebras (English)
    0 references
    0 references
    0 references
    7 June 2000
    0 references
    In his paper ``Free products in the category of abelian \(l\)-groups with strong unit'' [J. Algebra 113, No. 1, 89-109 (1988; Zbl 0658.06010)], the present reviewer established the amalgamation property for the variety of Chang's MV-algebras. The latter are the Lindenbaum algebras of the infinite-valued Łukasiewicz logic and are deeply related to abelian lattice-orderd groups and also to AF \(C^*\)-algebras. For a comprehensive account see the monograph of \textit{R. Cignoli, I. M. L. D'Ottaviano} and \textit{D. Mundici} [Algebraic foundations of many-valued reasoning (Trends in Logic -- Studia Logica Library 7, Kluwer, Dordrecht) (2000; Zbl 0937.06009)]. Komori gave a complete classification of the subvarieties of MV-algebras. In the present paper, the authors prove that a subvariety has the amalgamation property iff it is generated by precisely one MV-chain. They also introduce a notion of ``abstract conditional space'', proving its equivalence with the notion of Post algebra of order 2.
    0 references
    conditional
    0 references
    abstract conditional space
    0 references
    amalgamation
    0 references
    MV-algebras
    0 references
    subvariety
    0 references
    MV-chain
    0 references
    Post algebra
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references