Abstract :
Every probability on many-valued events (a state on a finitely-generated free MV-algebras) is uniquely represented by refining finitely-supported probabilities across all Schauder bases. This procedure enables reconstructing the state space as the inverse limit of an inverse system of finite-dimensional simplices.
Keywords :
"Logic functions","State-space methods","Algebra","Multivalued logic","Sections","Information theory","Automation","Mathematics","Probabilistic logic","Coherence"
