bibtype |
J -
Journal Article
|
ARLID |
0040540 |
utime |
20240103182654.0 |
mtime |
20060822235959.9 |
title
(primary) (eng) |
Representation and extension of states on MV-algebras |
specification |
|
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 |
|
|
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 |
|