An Algebraic Approach to States on MV-algebras.
Tommaso Flaminio, Franco Montagna · 2007
In this paper we will introduce the variety of state MV-algebras by enlarging the language of MV-algebras with an unary operator σ, and by adding equations ensuring σ to satisfy some basic properties of a state on an MV-algebra in the sense of [4]. The main result of this paper says us that there is a standard way to define a state MV-algebra starting from a state on an MV-algebra and vice-versa, each state MV-algebra defines a state on an MV-algebra in its usual meaning. Keywords: MV-algebra, state, tensor product, coherence. 1