Back
Powerset residuated algebras and generalized Lambek calculus
Authors:
- Mirosława Kołowska-Gawiejnowicz
Abstract
We prove a representation theorem for (abstract) residuated algebras: each residuated algebra is isomorphically embeddable into a powerset residuated algebra. As a consequence, we obtain a completeness theorem for the Generalized Lambek Calculus. We use a Labelled Deductive System which generalizes the one used by Buszkowski [4] and Pankrat'ev [17] in completeness theorems for the Lambek Calculus.
- Record ID
- UAM08baa5d6a0ec4498b1afabf2ed548772
- Author
- Journal series
- Mathematical Logic Quarterly, ISSN 0942-5616
- Issue year
- 1997
- Vol
- 43
- Pages
- 60-72
- ASJC Classification
- DOI
- DOI:10.1002/malq.19970430108 Opening in a new tab
- Language
- (en) English
- Score (nominal)
- 0
- Score source
- journalList
- Publication indicators
- = 10; = 7; : 1999 = 1.180; : 2006 (2 years) = 0.629 - 2007 (5 years) =0.288
Share
- Uniform Resource Identifier
- https://researchportal.amu.edu.pl/info/article/UAM08baa5d6a0ec4498b1afabf2ed548772/
- URN
urn:amu-prod:UAM08baa5d6a0ec4498b1afabf2ed548772
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or PerishOpening in a new tab system.