A Gentzen system for involutive residuated lattices
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.
Details
- 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
)
Zitieren
Laden...
