𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Complexity of Nonassociative Lambek Calculus with Unit

✍ Scribed by Maria Bulińska

Publisher
Springer Netherlands
Year
2009
Tongue
English
Weight
200 KB
Volume
93
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 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

On complexes related with calculus of va
On complexes related with calculus of variations
✍ Hovhannes M. Khudaverdian; Theodore Voronov 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 244 KB

We consider the variational complex on infinite jet space and the complex of variational derivatives for Lagrangians of multidimensional paths and study relations between them. The discussion of the variational (bi)complex is set up in terms of a flat connection in the jet bundle. We extend it to su