On order types of linear basic algebras
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F15%3A33155716" target="_blank" >RIV/61989592:15310/15:33155716 - isvavai.cz</a>
Výsledek na webu
<a href="http://link.springer.com/article/10.1007%2Fs00012-015-0328-1" target="_blank" >http://link.springer.com/article/10.1007%2Fs00012-015-0328-1</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00012-015-0328-1" target="_blank" >10.1007/s00012-015-0328-1</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On order types of linear basic algebras
Popis výsledku v původním jazyce
Basic algebras form a common generalization of MV-algebras and of orthomodular lattices, the algebraic tool for axiomatization of many-valued Lukasiewicz logic and the logic of quantum mechanics. Hence, they are included among the so-called quantum structures. An important role is played by linearly ordered basic algebras because every subdirectly irreducible MV-algebra and every subdirectly irreducible commutative basic algebra is linearly ordered. Since subdirectly irreducible linearly ordered basic algebras exist of any infinite cardinality, the natural question is to describe all possible order types of these algebras. This problem is solved in the paper.
Název v anglickém jazyce
On order types of linear basic algebras
Popis výsledku anglicky
Basic algebras form a common generalization of MV-algebras and of orthomodular lattices, the algebraic tool for axiomatization of many-valued Lukasiewicz logic and the logic of quantum mechanics. Hence, they are included among the so-called quantum structures. An important role is played by linearly ordered basic algebras because every subdirectly irreducible MV-algebra and every subdirectly irreducible commutative basic algebra is linearly ordered. Since subdirectly irreducible linearly ordered basic algebras exist of any infinite cardinality, the natural question is to describe all possible order types of these algebras. This problem is solved in the paper.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
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)
Ostatní
Rok uplatnění
2015
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 periodika
Algebra Universalis
ISSN
0002-5240
e-ISSN
—
Svazek periodika
73
Číslo periodika v rámci svazku
3-4
Stát vydavatele periodika
CH - Švýcarská konfederace
Počet stran výsledku
9
Strana od-do
267-275
Kód UT WoS článku
000355208500004
EID výsledku v databázi Scopus
—