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

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.