The Equivalence of Unidirectional Lambek Categorial Grammars and Context-Free Grammars

The equivalence of Nonassociative Lambek

The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars

✍ Maciej Kandulski 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 699 KB

Besides this introduction the paper contains four sections. I n section 1 we describe three equivalent axiomatizations of NLP. the third one playing important role in what follows. I n section 2 we deal with a system AC: (the Ajdukiewicz calculus with product) and prove the equivalence of AC-grammar