✦ LIBER ✦

Normal form of derivations in the nonassociative and commutative lambek calculus with product

✍ Scribed by Maciej Kandulski

Publisher: John Wiley and Sons
Year: 1993
Tongue: English
Weight: 579 KB
Volume: 39
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19930390113

No coin nor oath required. For personal study only.

✦ Synopsis

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 the nonassociative and commutative Lambek calculus with product is included in the class of CF‐languages. MSC: 68Q50, 03D15, 03B65.

📜 SIMILAR VOLUMES

Cut-Rule Axiomatization of Product-Free

Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String

✍ Wojciech Zielonka 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 452 KB

Hemolysin production in spleen and perip

Hemolysin production in spleen and peripheral blood cells from normal and leukemic chicks. II. Ultrastructural analysis of the plaque-forming cells

✍ Bengt Lagerlöf; Par Sundelin 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 French ⚖ 383 KB 👁 1 views

## Abstract The cells of normal and leukemic chicks producing hemolytic plaques in agar after stimulation with SRBC have been examined ultrastructurally. The plaque‐forming cells from non‐leukemic chicks were generally plasma cells. This was also the case for 21 of 30 plaques formed by spleen or pe

sym-triazine derivatives. 8. Structure a

sym-triazine derivatives. 8. Structure and further reactions of products formed in the reaction of 2,4,6-triethoxycarbonyl-sym-triazine with arylhydrazines

✍ N. V. Alekseeva; K. F. Turchin; O. S. Anisimova; Yu. N. Sheinker; L. N. Yakhonto 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 732 KB

Bone Resorption in Post-menopausal Women

Bone Resorption in Post-menopausal Women with Normal and Low BMD Assessed with Biochemical Markers Specific for Telopeptide Derived Degradation Products of Collagen Type I

✍ J.-Y. Reginster; Y. Henrotin; C. Christiansen; E. Gamwell-Henriksen; O. Bruyere; 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 214 KB

The Synthesis and Reactions of Betaines

The Synthesis and Reactions of Betaines Formed in Reactions of Tertiary Phosphines with Unsaturated Carboxylic Acids and Their Derivatives

✍ V. I. Galkin; Yu. V. Bakhtiyarova; R. I. Sagdieva; I. V. Galkina; R. A. Cherkaso 📂 Article 📅 2006 🏛 John Wiley and Sons ⚖ 8 KB 👁 1 views

The synthesis and reactions of betaines

The synthesis and reactions of betaines formed in reactions of tertiary phosphines with unsaturated carboxylic acids and their derivatives

✍ V. I. Galkin; Yu. V. Bakhtiyarova; R. I. Sagdieva; I. V. Galkina; R. A. Cherkaso 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 440 KB 👁 1 views

## Abstract On the basis of our systematic investigations, the main trends concerning synthesis, structure, and reactivity of carboxylate phosphabetaines—phosphorus analogs of organic aminoacids—are considered and analyzed. A wide series of phosphabetaines has been obtained in reactions of tertiary