Institute of Information Theory and Automation

Publication details

Representation and extension of states on MV-algebras

Journal Article

Kroupa Tomáš


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

Responsible for information: admin
Last modification: 11.03.2010
Institute of Information Theory and Automation