Extending Lambek Grammars to Basic Categorial Grammars

Author: Buszkowski W.

Source: Journal of Logic, Language and Information, Volume 5, Numbers 3-4, October 1996 , pp. 279-295(17)

Publisher: Springer

Buy & download fulltext article:

Price: $47.00 plus tax (Refund Policy)

Abstract:

Pentus (1992) proves the equivalence of LCG's and CFG's, and CFG's are equivalent to BCG's by the Gaifman theorem (Bar-Hillel et al., 1960). This paper provides a procedure to extend any LCG to an equivalent BCG by affixing new types to the lexicon; a procedure of that kind was proposed as early, as Cohen (1967), but it was deficient (Buszkowski, 1985). We use a modification of Pentus' proof and a new proof of the Gaifman theorem on the basis of the Lambek calculus.

Language: English

Document Type: Regular paper

Affiliations: 1: Faculty of Mathematics and Computer Science, Adam Mickiewicz University, Pozna nacute Poland E-mail: buszko@math.amu.edu.pl Poland E-mail: buszko@math.amu.edu.pl">