Institute of Information Theory and Automation

You are here

Bibliography

Journal Article

Representation and extension of states on MV-algebras

Kroupa Tomáš

: Archive for Mathematical Logic vol.45, 4 (2006), p. 381-392

: CEZ:AV0Z10750506

: 1M0572, GA MŠk

: MV-algebra, state, integral represantation

(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.

(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.

: 120

: BA

2019-01-07 08:39