Počet záznamů: 1
Word Problem for Knotted Residuated Lattices
- 1.
SYSNO ASEP 0429808 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Word Problem for Knotted Residuated Lattices Tvůrce(i) Horčík, Rostislav (UIVT-O) SAI, RID Zdroj.dok. Journal of Pure and Applied Algebra. - : Elsevier - ISSN 0022-4049
Roč. 219, č. 5 (2015), s. 1548-1563Poč.str. 16 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova residuated lattice ; knotted rule ; word problem ; residuated frame ; semi-Thue system ; square-free word Vědní obor RIV BA - Obecná matematika CEP GAP202/11/1632 GA ČR - Grantová agentura ČR Institucionální podpora UIVT-O - RVO:67985807 UT WOS 000349427000010 EID SCOPUS 84921022288 DOI https://doi.org/10.1016/j.jpaa.2014.06.015 Anotace 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. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2015
Počet záznamů: 1