The two-sorted algebraic theory of states, and the universal states of MV-algebras

Tomáš Kroupa, Vincenzo Marra

We introduce a two-sorted algebraic theory whose models are states of MV-algebras and, to within a categorical equivalence that extends Mundici's well-known one, states of Abelian…