A Gentzen system for involutive residuated lattices

verfasst von
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.

Externe Organisation(en)
Technische Universität Darmstadt
Typ
Artikel
Journal
Algebra universalis
Band
54
Seiten
449-463
Anzahl der Seiten
15
ISSN
0002-5240
Publikationsdatum
12.2005
Publikationsstatus
Veröffentlicht
Peer-reviewed
Ja
ASJC Scopus Sachgebiete
Algebra und Zahlentheorie
Elektronische Version(en)
https://doi.org/10.1007/s00012-005-1957-6 (Zugang: Unbekannt)
 

Details im Forschungsportal „Research@Leibniz University“