Number of the records: 1
Word Problem for Knotted Residuated Lattices
- 1.
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-1563Number 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 https://doi.org/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