Number of the records: 1

Word Problem for Knotted Residuated Lattices

SYSNO ASEP	0429808
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
Title	Word Problem for Knotted Residuated Lattices
Author(s)	Horčík, Rostislav (UIVT-O)_{SAI, RID}
Source Title	Journal of Pure and Applied Algebra. - : Elsevier - ISSN 0022-4049 Roč. 219, č. 5 (2015), s. 1548-1563
Number of pages	16 s.
Language	eng - English
Country	NL - Netherlands
Keywords	residuated lattice ; knotted rule ; word problem ; residuated frame ; semi-Thue system ; square-free word
Subject RIV	BA - General Mathematics
R&D Projects	GAP202/11/1632 GA ČR - Czech Science Foundation (CSF)
Institutional support	UIVT-O - RVO:67985807
UT WOS	000349427000010
EID SCOPUS	84921022288
DOI	10.1016/j.jpaa.2014.06.015
Annotation	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.
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2015

Number of the records: 1