On varieties of MV-algebras with internal states (Q990982)

From MaRDI portal
Revision as of 03:18, 3 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On varieties of MV-algebras with internal states
scientific article

    Statements

    On varieties of MV-algebras with internal states (English)
    0 references
    0 references
    0 references
    0 references
    2 September 2010
    0 references
    Flaminio and Montagna developed a logic where (de Finetti) coherence of a conditional assessment \(C\) is expressible as logical coherence of a suitably defined theory \(T(C)\) in the logic. The algebras of this logic are known as SMV-algebras. In earlier papers, the authors of the paper under review introduced a variant of SMV-algebras, called ``state-morphism MV-algebras''. The class of these algebras is definable by equations. The present paper is mainly devoted to the analysis of subvariaties of state-morphism MV-algebras.
    0 references
    MV-algebraic state
    0 references
    de Finetti coherence
    0 references
    state-morphism MV-algebras
    0 references

    Identifiers