๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Powerset Residuated Algebras and Generalized Lambek Calculus

โœ Scribed by Miroslawa Kolowska-Gawiejnowicz

Book ID
102941951
Publisher
John Wiley and Sons
Year
1997
Tongue
English
Weight
665 KB
Volume
43
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

โœฆ Synopsis

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.

๐Ÿ“œ SIMILAR VOLUMES

Logarithmic residues in the Banach algeb
Logarithmic residues in the Banach algebra generated by the compact operators and the identity
โœ Harm Bart; Torsten Ehrhardt; Bernd Silbermann ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 328 KB

## Abstract A logarithmic residue is a contour integral of the (left or right) logarithmic derivative of an analytic Banach algebra valued function. Logarithmic residues are intimately related to sums of idempotents. The present paper is concerned with logarithmic residues in a specific Banach alge