Abstract.
We establish a cut-free Gentzen system for involutive residuated lattices and provide an algebraic proof of completeness. As a result we conclude that the equational theory of involutive residuated lattices is decidable. The connection to noncommutative linear logic is outlined.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
Received July 22, 2004; accepted in final form July 19, 2005.
Rights and permissions
About this article
Cite this article
Wille, A.M. A Gentzen system for involutive residuated lattices. Algebra univers. 54, 449–463 (2005). https://doi.org/10.1007/s00012-005-1957-6
Issue Date:
DOI: https://doi.org/10.1007/s00012-005-1957-6