Deductive systems and annihilators of pseudo BCK-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%2F09%3A00010214" target="_blank" >RIV/61989592:15310/09:00010214 - 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
Deductive systems and annihilators of pseudo BCK-algebras
Popis výsledku v původním jazyce
Deductive systems and (relative) annihilators of pseudo BCK-algebras are defined and it is proved that the deductive systems form an algebraic distributive lattice in which the (relative) pseudocomplements are just the (relative) annihilators. The congruence kernels are characterized as certain deductive systems.
Název v anglickém jazyce
Deductive systems and annihilators of pseudo BCK-algebras
Popis výsledku anglicky
Deductive systems and (relative) annihilators of pseudo BCK-algebras are defined and it is proved that the deductive systems form an algebraic distributive lattice in which the (relative) pseudocomplements are just the (relative) annihilators. The congruence kernels are characterized as certain deductive systems.
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í
2009
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
Italian Journal of Pure and Applied Mathematics
ISSN
1126-8042
e-ISSN
—
Svazek periodika
25
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
IT - Italská republika
Počet stran výsledku
20
Strana od-do
—
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—