Ordered Algebraic Structures pp 231-243 | Cite as

# The Undecidability of the Word Problem for Distributive Residuated Lattices

## Abstract

Let A = (X|R) be a finitely presented algebra in a variety *V*. The algebra A is said to have an undecidable word problem if there is no algorithm that decides whether or not any two given words in the absolutely free term algebra T^{v}(X) represent the same element of A. If *V* contains such an algebra A, we say that it has an undecidable word problem. (It is well known that the word problem for the varieties of semigroups, groups and l-groups is undecidable.)

The main result of this paper is the undecidability of the word problem for a range of varieties including the variety of distributive residuated lattices and the variety of commutative distributive ones. The result for a subrange, including the latter variety, is a consequence of a theorem by Urquhart [7]. The proof here is based on the undecidability of the word problem for the variety of semigroups and makes use of the concept of an n-frame, introduced by von Neumann. The methods in the proof extend ideas used by Lipshitz and Urquhart to establish undecidability results for the varieties of modular lattices and distributive latticeordered semigroups, respectively.

## Keywords

Word Problem Residuated Lattice Modular Lattice Lattice Reduct Multiplicative Semigroup## Preview

Unable to display preview. Download preview PDF.

## References

- [1]M. Ward and R. P. Dilworth,
*Residuated Lattices*. Trans. of the AMS**45**(1939), 335–354.MathSciNetCrossRefGoogle Scholar - [2]K. Blount and C. Tsinakis,
*The structure of residuated lattices*. Preprint.Google Scholar - [3]H. Andréka, S. Givant and I. Németi,
*Decision Problems for Equational Theories of Relation Algebras*. Memoirs of the AMS**126**(604) (1997).Google Scholar - [4]
- [5]L. Lipshitz,
*The undecidability of the word problems for projectice geometries and modular lattices*. Trans. of the AMS**193**(1974), 171–180.MathSciNetMATHCrossRefGoogle Scholar - [6]G. Rozenberg and A. Salomaa,
*Cornerstones of Undecidability*. Intl. Ser. in Computer Science; (1994) Prentice Hall.MATHGoogle Scholar - [7]A. Urquhart,
*The undecidability of entailment and relevant implication*. Journal of Symbolic Logic**49(4)**(1984), 1059–1073.MathSciNetMATHCrossRefGoogle Scholar - [8]A. Urquhart,
*Decision problems for distributive lattice-ordered semigroups*. Alg. Univ.**33**(1995), 399–418.MathSciNetMATHCrossRefGoogle Scholar - [9]P. Schroeder and K. Dosen (Eds.),
*Substructural Logics*. Clarendon Press, Oxford, (1993).Google Scholar - [10]J. von Neumann,
*Continuous Geometry*. (1960) Princeton University Press.MATHGoogle Scholar - [11]P. Jipsen and C. Tsinakis, A
*survey of residuated lattices*. In these Proceedings, 19–56.Google Scholar