Representation and extension of states on MV-algebras

0040540 20240103182654.020060822235959.9 Representation and extension of states on MV-algebras 12 s. cav_un_epca*02561860933-5846Archive for Mathematical Logic454 (2006)381-392Springer Reprezentace a rozsirovani stavu na MV-algebrach MV-algebra state integral represantation cav_un_auth*0101141 Kroupa Tomáš UTIA-B Department of Decision Making Theory Ústav teorie informace a automatizace AV ČR, v. v. i. 120 1M0572 GA MŠk cav_un_auth*0001814 CEZ:AV0Z10750506 States on MV-algebras were introduced in effort to capture a notion of an average truth-value of proposition in Lukasiewicz many-valued logic. In the presented paper, an integral representation theorem for finitely-additive states on semisimple MV-algebra will be proven. Stavy na MV-algebrach modeluji pojem prumerne miry pravdivosti vyrokovych formuli v Lukasiewiczove vicehodnotove logice. V praci je dokazana integralni reprezentace stavu na klanech spojitych funkci. 2007 BA http://hdl.handle.net/11104/0134242 2006 cav_un_epca*0256186 Archive for Mathematical Logic 0933-5846 1432-0665 Roč. 45 č. 4 2006 381 392 Springer