Advertisement

Archiv der Mathematik

, Volume 87, Issue 6, pp 546–553 | Cite as

The word problem for involutive residuated lattices and related structures

  • Annika M. Wille
Article
  • 63 Downloads

Abstract.

It will be shown that the word problem is undecidable for involutive residuated lattices, for finite involutive residuated lattices and certain related structures like residuated lattices. The proof relies on the fact that the monoid reduct of a group can be embedded as a monoid into a distributive involutive residuated lattice. Thus, results about groups by P. S. Novikov and W. W. Boone and about finite groups by A. M. Slobodskoi can be used. Furthermore, for any non-trivial lattice variety \( \user1{\mathcal{V}} \), the word problem is undecidable for those involutive residuated lattices and finite involutive residuated lattices whose lattice reducts belong to \( \user1{\mathcal{V}} \). In particular, the word problem is undecidable for modular and distributive involutive residuated lattices.

Mathematics Subject Classification (2000).

Primary: 06F05 Secondary: 08A50 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag, Basel 2006

Authors and Affiliations

  1. 1.Department of MathematicsTechnische Universität DarmstadtDarmstadtGermany

Personalised recommendations