Representation and extension of states on MV-algebras

Abstract

MV-algebras stand for the many-valued Łukasiewicz logic the same as Boolean algebras for the classical logic. States on MV-algebras were first mentioned [20] in probability theory and later also introduced in effort to capture a notion of `an average truth-value of proposition' [15] in Łukasiewicz many-valued logic. In the presented paper, an integral representation theorem for finitely-additive states on semisimple MV-algebra will be proven. Further, we shall prove extension theorems concerning states defined on sub-MV-algebras and normal partitions of unity generalizing in this way the well-known Horn-Tarski theorem for Boolean algebras.