Conference Paper (international conference)
: Proceedings of ISMVL 2010, p. 185-188
: 40th IEEE International Symposium on Multiple-Valued Logic, (Barcelona, ES, 26.05.2010-28.05.2010)
: CEZ:AV0Z10750506
: 1M0572, GA MŠk, GA201/09/1891, GA ČR
: Schauder basis, unimodular triangulation, probability
(eng): 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.
: BA