A Gentzen system for involutive residuated lattices

authored by: Annika M. Wille
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.
External Organisation(s): Technische Universität Darmstadt
Type: Article
Journal: Algebra universalis
Volume: 54
Pages: 449-463
No. of pages: 15
ISSN: 0002-5240
Publication date: 12.2005
Publication status: Published
Peer reviewed: Yes
ASJC Scopus subject areas: Algebra and Number Theory
Electronic version(s): https://doi.org/10.1007/s00012-005-1957-6 (Access: Unknown)
: Details in the research portal "Research@Leibniz University"