Word Problem for Knotted Residuated Lattices

0429808 - ÚI 2015 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Keywords : residuated lattice * knotted rule * word problem * residuated frame * semi-Thue system * square-free word
Subject RIV: BA - General Mathematics
Impact factor: 0.669, year: 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.
Permanent Link: http://hdl.handle.net/11104/0234838