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
- 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"
Cite
Loading...
