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

Linear axiomatics of commutative product-free Lambek calculus

โœ Scribed by Wojciech Zielonka

Publisher
Springer Netherlands
Year
1990
Tongue
English
Weight
460 KB
Volume
49
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

โœฆ Synopsis

AxJomatics which do not employ rules of inference other than the cut rule are given for commutative product-free Lambek calculus in two variants: with and without the empty string. Unlike the former variant, the latter one turns out not to be finitely axiomatizable in that way.

๐Ÿ“œ SIMILAR VOLUMES

Normal form of derivations in the nonass
Normal form of derivations in the nonassociative and commutative lambek calculus with product
โœ Maciej Kandulski ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 579 KB

## Abstract We show that derivations in the nonassociative and commutative Lambek calculus with product can be transformed to a normal form as it is the case with derivations in noncommutative calculi. As an application we obtain that the class of languages generated by categorial grammars based on