Word Problem for Knotted Residuated Lattices

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F15%3A00429808" target="_blank" >RIV/67985807:_____/15:00429808 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1016/j.jpaa.2014.06.015" target="_blank" >http://dx.doi.org/10.1016/j.jpaa.2014.06.015</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.jpaa.2014.06.015" target="_blank" >10.1016/j.jpaa.2014.06.015</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Word Problem for Knotted Residuated Lattices
Popis výsledku v původním jazyce
In this paper we prove that almost all varieties of residuated lattices axiomatized by identities corresponding to the knotted rules have undecidable word problem. Further we show that in many cases the results remain true if we replace residuated lattices by distributive residuated lattices.
Název v anglickém jazyce
Word Problem for Knotted Residuated Lattices
Popis výsledku anglicky
In this paper we prove that almost all varieties of residuated lattices axiomatized by identities corresponding to the knotted rules have undecidable word problem. Further we show that in many cases the results remain true if we replace residuated lattices by distributive residuated lattices.

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
—

Projekt
<a href="/cs/project/GAP202%2F11%2F1632" target="_blank" >GAP202/11/1632: Algebraické metody v teorii důkazů</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2015
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)