# Publication details

##
Well-Nested Drawings as Models of Syntactic Structure

Manuel Bodirsky, Marco Kuhlmann, Mathias Möhl

10th Conference on Formal Grammar and 9th Meeting on Mathematics of Language, 2005

There are two major approaches to formal accounts of the syntax of natural language, the proof-theoretic and the model-theoretic approach. Both aim at providing frameworks for answering the question whether a given natural language expression is grammatical. Their methodology, however, is rather different: In a proof-theoretic framework, one tries to set up a system of derivation rules (such as the rules in a context-free grammar) so that each well-formed natural language expression stands in correspondence with a derivation in that system. In contrast, in a model-theoretic framework, one attempts to specify a class of models for natural language expressions and a set of constraints on these models such that an expression is well-formed iff it has a model satisfying all the constraints. The main contribution of this paper is the characterisation of a class of structures that provides a new model-based perspective on Tree Adjoining Grammar (Joshi and Schabes (1997)), a well-known proof-theoretic syntactic framework.

Download PDF
Show BibTeX

@INPROCEEDINGS{bodirsky2005wellnested,
title = {Well-Nested Drawings as Models of Syntactic Structure},
author = {Manuel Bodirsky and Marco Kuhlmann and Mathias M{\"o}hl},
year = {2005},
booktitle = {10th Conference on Formal Grammar and 9th Meeting on Mathematics of Language},
address = {{Edinburgh, Scotland, UK}},
}

Login to edit

Legal notice, Privacy policy