A representation of residuated lattices satisfying the double negation law

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F18%3A73590052" target="_blank" >RIV/61989592:15310/18:73590052 - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/article/10.1007%2Fs00500-017-2673-9" target="_blank" >https://link.springer.com/article/10.1007%2Fs00500-017-2673-9</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00500-017-2673-9" target="_blank" >10.1007/s00500-017-2673-9</a>

Jazyk výsledku
angličtina
Název v původním jazyce
A representation of residuated lattices satisfying the double negation law
Popis výsledku v původním jazyce
Every residuated lattice can be considered as an idempotent semiring and for the finite case, also the converse holds. Unfortunately, it does not hold in general. We show that if an idempotent semiring is equipped with an involution then it can be converted into a residuated lattice
Název v anglickém jazyce
A representation of residuated lattices satisfying the double negation law
Popis výsledku anglicky
Every residuated lattice can be considered as an idempotent semiring and for the finite case, also the converse holds. Unfortunately, it does not hold in general. We show that if an idempotent semiring is equipped with an involution then it can be converted into a residuated lattice

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)

Projekt
<a href="/cs/project/GF15-34697L" target="_blank" >GF15-34697L: Nové přístupy k reziduovaným posetům</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2018
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ů

Podobné výsledky(10)