Partial Proof Trees as Building Blocks for a Categorial Grammar

We describe a categorial system (PPTS) based on partial proof trees (PPTs) as the building blocks of the system. The PPTs are obtained by unfolding the arguments of the type that would be associated with a lexical item in a simple categorial grammar. The PPTs are the basic types in the system and a...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Linguistics and philosophy 1997-12, Vol.20 (6), p.637-667
Hauptverfasser:	Joshi, Aravind K., Kulick, Seth
Format:	Artikel
Sprache:	eng
Schlagworte:	Categorial grammar Categorical grammar Computational linguistics Deduction Derivation Derivational morphology Grammar Interpolation Linear logic Locality Logical proofs Natural deduction calculus Phrase structure Recursion Relative clauses Rules of inference Syntactic structures Tree adjoining grammar
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!