bibtype J - Journal Article
ARLID 0040540
utime 20240103182654.0
mtime 20060822235959.9
title (primary) (eng) Representation and extension of states on MV-algebras
specification
page_count 12 s.
serial
ARLID cav_un_epca*0256186
ISSN 0933-5846
title Archive for Mathematical Logic
volume_id 45
volume 4 (2006)
page_num 381-392
publisher
name Springer
title (cze) Reprezentace a rozsirovani stavu na MV-algebrach
keyword MV-algebra
keyword state
keyword integral represantation
author (primary)
ARLID cav_un_auth*0101141
name1 Kroupa
name2 Tomáš
institution UTIA-B
full_dept Department of Decision Making Theory
fullinstit Ústav teorie informace a automatizace AV ČR, v. v. i.
COSATI 120
cas_special
project
project_id 1M0572
agency GA MŠk
ARLID cav_un_auth*0001814
research CEZ:AV0Z10750506
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.
reportyear 2007
RIV BA
permalink http://hdl.handle.net/11104/0134242
arlyear 2006
mrcbU63 cav_un_epca*0256186 Archive for Mathematical Logic 0933-5846 1432-0665 Roč. 45 č. 4 2006 381 392 Springer