Categorial Grammars and Tree Languages

Categorial Grammars and Tree Languages

We consider a representation of the structure of derivations in Ajdukiewicz and Lambek categorial grammars called derived trees. We define derived tree languages of those grammars based on syntactic calculi formalized in Gentzen style and in natural deduction format and examine their relation to the...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of logic and computation 2004-04, Vol.14 (2), p.205-214
1. Verfasser: Kandulski, M.
Format: Artikel
Sprache:eng
Schlagworte:
Adjukiewicz grammar
derived trees
Lambek grammar
tree languages
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We consider a representation of the structure of derivations in Ajdukiewicz and Lambek categorial grammars called derived trees. We define derived tree languages of those grammars based on syntactic calculi formalized in Gentzen style and in natural deduction format and examine their relation to the families of local and regular tree languages.
ISSN:0955-792X
1465-363X
DOI:10.1093/logcom/14.2.205