Basic algebras and their applications, an overview
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F11%3A33116996" target="_blank" >RIV/61989592:15310/11:33116996 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Basic algebras and their applications, an overview
Popis výsledku v původním jazyce
Basic algebras were introduced as a common algebraic axiomatization of the logic of quantum mechanics and many-valued Lukasiewicz logics. These are equivalent to bounded lattices having antitone involutions in every section. The paper contains principalresults on basic algebras and shows their connections to MV-algebras and orthomodular lattices. Application of basic algebras are shown for the so-called effect algebras.
Název v anglickém jazyce
Basic algebras and their applications, an overview
Popis výsledku anglicky
Basic algebras were introduced as a common algebraic axiomatization of the logic of quantum mechanics and many-valued Lukasiewicz logics. These are equivalent to bounded lattices having antitone involutions in every section. The paper contains principalresults on basic algebras and shows their connections to MV-algebras and orthomodular lattices. Application of basic algebras are shown for the so-called effect algebras.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2011
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
Contributions to General Algebra 20
ISBN
978-3-7084-0447-9
ISSN
—
e-ISSN
—
Počet stran výsledku
10
Strana od-do
1-10
Název nakladatele
Johannes Heyn Verlag
Místo vydání
Klagenfurt
Místo konání akce
Salzburg
Datum konání akce
3. 2. 2011
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—