Word Problem for Knotted Residuated Lattices

0429808 - ÚI 2015 RIV NL eng J - Článek v odborném periodiku
Horčík, Rostislav
Word Problem for Knotted Residuated Lattices.
Journal of Pure and Applied Algebra. Roč. 219, č. 5 (2015), s. 1548-1563. ISSN 0022-4049. E-ISSN 1873-1376
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Klíčová slova: residuated lattice * knotted rule * word problem * residuated frame * semi-Thue system * square-free word
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.669, rok: 2015

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.
Trvalý link: http://hdl.handle.net/11104/0234838