A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars

&
Journal of Logic, Language and Information 19 (2):185-200 (2010)
  Copy   BIBTEX

Abstract

This paper solves a natural but still open question: can abstract categorial grammars respresent usual categorial grammars? Despite their name and their claim to be a unifying framework, up to now there was no faithful representation of usual categorial grammars in ACGs. This paper shows that Non-Associative Lambek grammars as well as their derivations can be defined using ACGs of order two. To conclude, the outcome of such a representation are discussed.

Categories

Keywords

Reprint years

DOI

10.1007/s10849-009-9111-z

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A faithful representation of non-associative Lambek grammars in abstract categorial grammars.Christian Retoré & Sylvain Salvati - 2010 - Journal of Logic Language and Information 19 (2):185-200.
Lambek grammars as combinatory categorial grammars.G. Jäger - 2001 - Logic Journal of the IGPL 9 (6):781-792.
On the expressive power of abstract categorial grammars: Representing context-free formalisms. [REVIEW]Philippe de Groote & Sylvain Pogodalla - 2004 - Journal of Logic, Language and Information 13 (4):421-438.
Discontinous Constituents in Generalized Categorial Grammar.Emmon W. Bach - unknown
On the equivalence of Ajdukiewicz-Lambek calculus and simple phrase structure grammars.Wojciech Zielonka - 1976 - Bulletin of the Section of Logic 5 (2):1-4.
The equivalence of Nonassociative Lambek Categorial Grammars and Context‐Free Grammars.Maciej Kandulski - 1988 - Mathematical Logic Quarterly 34 (1):41-52.
The Equivalence of Unidirectional Lambek Categorial Grammars and Context‐Free Grammars.Wojcßch Buszkowski - 1985 - Mathematical Logic Quarterly 31 (24):369-384.
A direct proof of the equivalence of free categorial grammars and simple phrase structure grammars.Wojciech Zielonka - 1978 - Studia Logica 37 (1):41 - 57.
On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars.Maciej Kandulski - 1995 - Mathematical Logic Quarterly 41 (2):217-235.
JM Cohen's claim on categorial grammars remains unproved.Wojciech Zielonka - 1985 - Bulletin of the Section of Logic 14 (4):130-133.
The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars.Maciej Kandulski - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):41-52.
The Equivalence of Unidirectional Lambek Categorial Grammars and Context-Free Grammars.Wojcßch Buszkowski - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (24):369-384.
Gaifman's theorem on categorial grammars revisited.Wojciech Buszkowski - 1988 - Studia Logica 47 (1):23 - 33.
On the membership problem for non-linear abstract categorial grammars.Sylvain Salvati - 2010 - Journal of Logic, Language and Information 19 (2):163-183.
Extended Pregroup Grammars Applied to Natural Languages.Aleksandra Kiślak-Malinowska - 2012 - Logic and Logical Philosophy 21 (3):229-252.

Analytics

Added to PP
2016-02-04

Downloads
55 (#276,802)

6 months
46 (#84,277)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Proofs and types.Jean-Yves Girard - 1989 - New York: Cambridge University Press.
Mathematical linguistics and proof theory.Wojciech Buszkowski - 1997 - In Benthem & Meulen (eds.), Handbook of Logic and Language. MIT Press. pp. 683--736.
Lambda Grammars and the Syntax-Semantics Interface.Reinhard Muskens - 2001 - In Robert Van Rooij & Martin Stokhof (eds.), Proceedings of the Thirteenth Amsterdam Colloquium. Amsterdam: ILLC. pp. 150-155.

Add more references