Pierce sheaves of pseudo EMV-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%2F22%3A73616847" target="_blank" >RIV/61989592:15310/22:73616847 - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/article/10.1007/s00500-022-07271-w" target="_blank" >https://link.springer.com/article/10.1007/s00500-022-07271-w</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00500-022-07271-w" target="_blank" >10.1007/s00500-022-07271-w</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Pierce sheaves of pseudo EMV-algebras
Popis výsledku v původním jazyce
We study a Pierce sheaf representation of pseudo EMV-algebras which are a non-commutative generalization of MV-algebras, pseudo MV-algebras and of generalized Boolean algebras, so that the top element is not assumed a priori. We present one sheaf using a Boolean type of representation and the main results are concerning the Hausdorff sheaf representation of representable pseudo EMV-algebras. For this aim, we study also the space of maximal ideals not necessarily normal and the space of minimal prime ideals to give conditions when these spaces are compact/locally compact in the hull-kernel topology and when they imply existence of a top element.
Název v anglickém jazyce
Pierce sheaves of pseudo EMV-algebras
Popis výsledku anglicky
We study a Pierce sheaf representation of pseudo EMV-algebras which are a non-commutative generalization of MV-algebras, pseudo MV-algebras and of generalized Boolean algebras, so that the top element is not assumed a priori. We present one sheaf using a Boolean type of representation and the main results are concerning the Hausdorff sheaf representation of representable pseudo EMV-algebras. For this aim, we study also the space of maximal ideals not necessarily normal and the space of minimal prime ideals to give conditions when these spaces are compact/locally compact in the hull-kernel topology and when they imply existence of a top element.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2022
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
SOFT COMPUTING
ISSN
1432-7643
e-ISSN
1433-7479
Svazek periodika
26
Číslo periodika v rámci svazku
17
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
19
Strana od-do
8351-8369
Kód UT WoS článku
000818600400004
EID výsledku v databázi Scopus
2-s2.0-85133210770