King's College London,
Department of Computing,
Strand, London, UK
meyervio@dcs.kcl.ac.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.
Dvi-file
PS-File
PDF-File
Bibtex Entry