The Pentus theorem for Lambek calculus with simple nonlogical axioms (Q817678)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The Pentus theorem for Lambek calculus with simple nonlogical axioms |
scientific article; zbMATH DE number 5013018
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Pentus theorem for Lambek calculus with simple nonlogical axioms |
scientific article; zbMATH DE number 5013018 |
Statements
The Pentus theorem for Lambek calculus with simple nonlogical axioms (English)
0 references
17 March 2006
0 references
In the paper a version of the Lambek calculus, \(L(\Gamma),\) is considered. The calculus \(L(\Gamma)\) is an associative Lambek calculus \(L\) in Gentzen-style axiomatization, enriched with a finite set of nonlogical axioms \(\Gamma.\) The main result of the paper is the proof of the weak equivalence of the context-free grammars and grammars based on \(L(\Gamma).\) The proof uses, with some modifications, the method applied by Pentus to prove that Lambek categorial grammars generate the context-free languages.
0 references
Lambek calculus
0 references
context-free grammar
0 references
