Journal Article
serial: Archive for Mathematical Logic vol.45, 4 (2006), p. 381-392
research: CEZ:AV0Z10750506
project(s): 1M0572GA MŠk
keywords: MV-algebra, state, integral represantation
abstract (eng):
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.
abstract (cze):
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.
Cosati: 120
RIV: BA