Atlas home || Conferences | Abstracts | about Atlas

Workshop on Ordered Algebraic Structures
March 9-11, 2000
Vanderbilt University
Nashville, TN, USA

Organizers
Constantine Tsinakis, Jorge Martinez

View Abstracts
Conference Homepage

The Equational Theory of Residuated Lattices
by
Miklós Maróti
Vanderbilt University

We review a recent result of Okada and Terui which shows that the equational theory of residuated lattices RL is decidable, and give an effective algorithm based on a Gentzen system. In spite of the aforementioned algorithm, the structure of free residuated lattices or other free algebras in subvarieties of RL is not well understood.

Date received: February 16, 2000

Copyright © 2000 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caed-16.