Product-free Lambek calculus and context-free grammars

Journal of Symbolic Logic

Volumn 62, Issue 2, 1997, Pages 648-660

  Pentus, Mati ^a  

^a MOSCOW STATE UNIVERSITY   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031488553     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275553     Document Type: Article

References (13)

1. Y. BAR-HILLEL, C. GAIFMAN, and E. SHAMIR, On categorial and phrase-structure grammars, Bull. Res. Council Israel Sect. F, vol. 9F (1960), pp. 1-16.
2. W. BUSZKOWSKI, The equivalence of unidirectional Lambek categorial grammars and context-free grammars, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 31 (1985), pp. 369-384.
3. _, Generative power of categorial grammars, Categorial grammars and natural language structures (R. T. Oehrle, E. Bach, and D. Wheeler, editors), Reidel, Dordrecht, 1988, pp. 69-94.
4. _, On generative capacity of the Lambek calculus, Logics in AI (J. van Eijck, editor), Springer-Verlag, Berlin, 1991, pp. 139-152.
5. _, On the equivalence of Lambek categorial grammars and basic categorial grammars, ILLC Prepublication Series, vol. LP-93-07, Institute for Logic, Language and Computation, University of Amsterdam, 1993.
6. N. CHOMSKY, Formal properties of grammars, Handbook of mathematical psychology (R. D. Luce et al. editors), vol. 2, Wiley, New York, 1963, pp. 323-418.
7. J.M. COHEN, The equivalence of two concepts of categorial grammar, Information and Control, vol. 10 (1967), pp. 475-484.
8. J. LAMBEK, The mathematics of sentence structure, American Mathematical Monthly, vol. 65 (1958), no. 3, pp. 154-170.
9. M. PENTUS, Equivalent types in Lambek calculus and linear logic, Series Logic and Computer Science, Department of Math. Logic, Steklov Math. Institute, Moscow, 1992, preprint no. 2.
10. _, Lambek grammars are context free, Series Logic and Computer Science, Department of Math. Logic, Steklov Math. Institute, Moscow, 1992, preprint no.8.
11. _, Lambek grammars are context free, Proceedings of the 8th annual IEEE symposium on logic in computer science, LICS '93, 1993, pp. 429-433.
12. D. ROORDA, Resource logics: Proof-theoretical investigations, Ph.D. thesis, Fac. Math. and Comp. Sc., University of Amsterdam, 1991.
13. J. VAN BENTHEM, Language in action, North-Holland, Amsterdam, 1991.