Hostname: page-component-cd9895bd7-gbm5v Total loading time: 0 Render date: 2024-12-26T00:37:14.400Z Has data issue: false hasContentIssue false

Crossover: a unified view

Published online by Cambridge University Press:  01 March 1998

RUTH KEMPSON
Affiliation:
School of Oriental and African Studies
DOV GABBAY
Affiliation:
Imperial College of Science, Technology & Medicine

Abstract

This paper informally outlines a Labelled Deductive System for on-line language processing. Interpretation of a string is modelled as a composite lexically driven process of type deduction over labelled premises forming locally discrete databases, with rules of database inference then dictating their mode of combination. The particular LDS methodology is illustrated by a unified account of the interaction of wh-dependency and anaphora resolution, the so-called ‘cross-over’ phenomenon, currently acknowledged to resist a unified explanation. The shift of perspective this analysis requires is that interpretation is defined as a proof structure for labelled deduction, and assignment of such structure to a string is a dynamic left-right process in which linearity considerations are ineliminable.

Type
Research Article
Copyright
1998 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

This paper has benefited from sharing ideas both with logicians and linguists. We thank in particular Hiroto Hoshi, Wilfried Meyer-Viol, Andrew Simpson and Stavroula Tsiplakou for the stimulus of many unfailingly useful conversations. Useful feedback over a period has also been received both from students and from audiences at Edinburgh, Oxford, York, Amsterdam, Paris, San Sebastian and Barcelona. Since the work reported in this paper was completed, Wilfried Meyer Viol has played a primary role in transforming the relatively informal observations presented here into an explicit formal system.