Product-Free Lambek Calculus and Context-Free Grammars
Pentus, Mati
J. Symbolic Logic, Tome 62 (1997) no. 1, p. 648-660 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
In this paper we prove the Chomsky Conjecture (all languages recognized by the Lambek calculus are context-free) for both the full Lambek calculus and its product-free fragment. For the latter case we present a construction of context-free grammars involving only product-free types.
Publié le : 1997-06-14
Classification:  
@article{1183745249,
     author = {Pentus, Mati},
     title = {Product-Free Lambek Calculus and Context-Free Grammars},
     journal = {J. Symbolic Logic},
     volume = {62},
     number = {1},
     year = {1997},
     pages = { 648-660},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745249}
}

Pentus, Mati. Product-Free Lambek Calculus and Context-Free Grammars. J. Symbolic Logic, Tome 62 (1997) no. 1, pp.  648-660. http://gdmltest.u-ga.fr/item/1183745249/