Article ID Journal Published Year Pages File Type
4595994 Journal of Pure and Applied Algebra 2015 16 Pages PDF
Abstract

In this paper we prove that almost all varieties RLmn of residuated lattices axiomatized by xm≤xnxm≤xn have undecidable word problem. Namely, we show it for 1≤m

Keywords
Related Topics
Physical Sciences and Engineering Mathematics Algebra and Number Theory
Preview
Word problem for knotted residuated lattices
Authors
,