Word Problem for Knotted Residuated Lattices

Autoři: Rostislav Horčík
Rok vydání: 2015
Typ publikace: Článek v odborném periodiku
Periodikum: Journal of Pure and Applied Algebra
Projekty: Algebraické metody v teorii důkazů
Bibliografická citace: HORČÍK, Rostislav. Word Problem for Knotted Residuated Lattices. Journal of Pure and Applied Algebra. 2015, 219(5), 1548-1563. ISSN 0022-4049. E-ISSN 1873-1376
Dostupné z: doi:10.1016/j.jpaa.2014.06.015
DOI: 10.1016/j.jpaa.2014.06.015
ID: 429808

Abstrakt

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.