The word problem for involutive residuated lattices and related structures

DOI10.1007/S00013-006-1795-6zbMath1117.08004OpenAlexW2028123301MaRDI QIDQ866813

Annika M. Wille

Publication date: 14 February 2007

Published in: Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00013-006-1795-6

zbMATH Keywords

undecidabilityword problemresiduated latticeinvolutive residuated latticequasi-equational theory

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Word problems, etc. in computability and recursion theory (03D40) Recursively (computably) enumerable sets and degrees (03D25) Varieties of lattices (06B20) Free lattices, projective lattices, word problems (06B25) Word problems (aspects of algebraic structures) (08A50)

This page was built for publication: The word problem for involutive residuated lattices and related structures