Every skew effect algebra can be extended into a total algebra
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F14%3A33150507" target="_blank" >RIV/61989592:15310/14:33150507 - 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
Every skew effect algebra can be extended into a total algebra
Popis výsledku v původním jazyce
Skew effect algebras were already introduced as a non-associative modification of the so-called effect algebras which serve as an algebraic axiomatization of the propositional logic of quantum mechanics. Since skew effect algebras have a partial binary operation, we search for an algebra with a total binary operation which extends a given skew effect algebra and such that the underlying posets coincide. It turns out that the suitable candidate is a skew basic algebra introduced here. Algebraic properties of skew basic algebras are described and they are compared with the so-called pseudo basic algebras introduced by the authors recently.
Název v anglickém jazyce
Every skew effect algebra can be extended into a total algebra
Popis výsledku anglicky
Skew effect algebras were already introduced as a non-associative modification of the so-called effect algebras which serve as an algebraic axiomatization of the propositional logic of quantum mechanics. Since skew effect algebras have a partial binary operation, we search for an algebra with a total binary operation which extends a given skew effect algebra and such that the underlying posets coincide. It turns out that the suitable candidate is a skew basic algebra introduced here. Algebraic properties of skew basic algebras are described and they are compared with the so-called pseudo basic algebras introduced by the authors recently.
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.0060" target="_blank" >EE2.3.20.0060: Mezinárodní centrum pro informaci a neurčitost</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2014
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
Journal of Multiple-Valued Logic and Soft Computing
ISSN
1542-3980
e-ISSN
—
Svazek periodika
23
Číslo periodika v rámci svazku
1-2
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
20
Strana od-do
53-72
Kód UT WoS článku
000336074700003
EID výsledku v databázi Scopus
—