Word problem for knotted residuated lattices

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