On varieties of MV-algebras with internal states (Q990982)
From MaRDI portal
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
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