Triple Representation Theorem for homogeneous effect algebras
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F12%3A00062905" target="_blank" >RIV/00216224:14310/12:00062905 - isvavai.cz</a>
Výsledek na webu
<a href="http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6214831" target="_blank" >http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6214831</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/ISMVL.2012.27" target="_blank" >10.1109/ISMVL.2012.27</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Triple Representation Theorem for homogeneous effect algebras
Popis výsledku v původním jazyce
The aim of our paper is to prove the Triple Representation Theorem, which was established by Jenca in the setting of complete lattice effect algebras, for a special class of homogeneous effect algebras, namely TRT-effect algebras. This class includes complete lattice effect algebras, sharply dominating Archimedean atomic lattice effect algebras and homogeneous orthocomplete effect algebras.
Název v anglickém jazyce
Triple Representation Theorem for homogeneous effect algebras
Popis výsledku anglicky
The aim of our paper is to prove the Triple Representation Theorem, which was established by Jenca in the setting of complete lattice effect algebras, for a special class of homogeneous effect algebras, namely TRT-effect algebras. This class includes complete lattice effect algebras, sharply dominating Archimedean atomic lattice effect algebras and homogeneous orthocomplete effect algebras.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/EE2.3.20.0051" target="_blank" >EE2.3.20.0051: Algebraické metody v kvantové logice</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2012
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
2012 42ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL)
ISBN
9780769546735
ISSN
0195-623X
e-ISSN
—
Počet stran výsledku
6
Strana od-do
337-342
Název nakladatele
IEEE
Místo vydání
NEW YORK
Místo konání akce
Victoria, CANADA
Datum konání akce
14. 5. 2012
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000309229100058