Details
| Original language | English |
|---|---|
| Pages (from-to) | 449-463 |
| Number of pages | 15 |
| Journal | Algebra universalis |
| Volume | 54 |
| Issue number | 4 |
| Publication status | Published - Dec 2005 |
| Externally published | Yes |
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.
Keywords
- Equational theory, Gentzen System, Involutive residuated lattice, Linear logic, Residuated lattice
ASJC Scopus subject areas
- Mathematics(all)
- Algebra and Number Theory
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: Algebra universalis, Vol. 54, No. 4, 12.2005, p. 449-463.
Research output: Contribution to journal › Article › Research › peer review
}
TY - JOUR
T1 - A Gentzen system for involutive residuated lattices
AU - Wille, Annika M.
PY - 2005/12
Y1 - 2005/12
N2 - 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.
AB - 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.
KW - Equational theory
KW - Gentzen System
KW - Involutive residuated lattice
KW - Linear logic
KW - Residuated lattice
UR - http://www.scopus.com/inward/record.url?scp=33645112983&partnerID=8YFLogxK
U2 - 10.1007/s00012-005-1957-6
DO - 10.1007/s00012-005-1957-6
M3 - Article
AN - SCOPUS:33645112983
VL - 54
SP - 449
EP - 463
JO - Algebra universalis
JF - Algebra universalis
SN - 0002-5240
IS - 4
ER -