Parsing as Sequential Construction
of Logical Forms

Wilfried Meyer Viol

King's College London,
Department of Computing,
Strand, London, UK


In this paper we give a formal description of the parsing model that underlies the treatment of Long Distance Dependencies, Topic and Focus, Ellipsis and Quantification in earlier work by Gabbay, Kempson, Kibble, and Meyer Viol. In this model, a natural language string consists of a sequence of `instructions packages' to construct some term in a formal representation language, the {logical form} of the string in question. Parsing, then, is the process of executing these packages in a left to right order.

Bibtex Entry