On the Structure of Finite Integral Commutative Residuated Chains.
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F11%3A00190090" target="_blank" >RIV/68407700:21230/11:00190090 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/67985807:_____/11:00365295
Výsledek na webu
<a href="http://dx.doi.org/10.1093/logcom/exp059" target="_blank" >http://dx.doi.org/10.1093/logcom/exp059</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1093/logcom/exp059" target="_blank" >10.1093/logcom/exp059</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On the Structure of Finite Integral Commutative Residuated Chains.
Popis výsledku v původním jazyce
Among the class of finite integral commutative residuated chains (ICRCs), we identify those algebras which can be obtained as a nuclear retraction of a conuclear contraction of a totally ordered Abelian l-group. We call the ICRCs satisfying this condition regular. Then we discuss the structure of finite regular ICRCs. Finally, we prove that the class of regular members generate a strictly smaller variety than the variety generated by ICRCs.
Název v anglickém jazyce
On the Structure of Finite Integral Commutative Residuated Chains.
Popis výsledku anglicky
Among the class of finite integral commutative residuated chains (ICRCs), we identify those algebras which can be obtained as a nuclear retraction of a conuclear contraction of a totally ordered Abelian l-group. We call the ICRCs satisfying this condition regular. Then we discuss the structure of finite regular ICRCs. Finally, we prove that the class of regular members generate a strictly smaller variety than the variety generated by ICRCs.
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
—
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 periodika
Journal of Logic and Computations
ISSN
0955-792X
e-ISSN
—
Svazek periodika
21
Číslo periodika v rámci svazku
5
Stát vydavatele periodika
GB - Spojené království Velké Británie a Severního Irska
Počet stran výsledku
12
Strana od-do
717-728
Kód UT WoS článku
000295183000002
EID výsledku v databázi Scopus
—