SAS-Space, for world class research

Latest additions

Indefinites as Epsilon Terms: A Labelled Deduction Account

Actions (login required)

Edit item Edit item

Indefinites as Epsilon Terms: A Labelled Deduction Account


This paper gives an account of indefinites as epsilon terms within a model of utterance processing as a task of labelled deduction, in which partially specified inputs are progressively resolved during the interpretation process. The formal tools used are labelled deduction (Gabbay), the epsilon calculus (Meyer-Viol 1995), and a tree-logic (LOFT - Blackburn & Meyer-Viol 1994) which characterises the structure as it is incrementally built. The system has been partly implemented in SWI-Prolog as part of a longer-term project and the model is a transition system which defines the steps which license movement from state to state.Article

Kempson, Ruth and Meyer-Viol, Wilfried and Dibble, Rodger and Gabbay, Dov (1997) Indefinites as Epsilon Terms: A Labelled Deduction Account.


Item Type: Article
Additional Information: Citation: In H. Bunt and R. Muskens (eds.), "Computing Meaning Vol 1 : Current Issues in Computational Semantics, (Studies in Linguistics & Philosophy Vol 73)".
Subjects: Philosophy
Keywords: Dynamic syntax, Indefinites
Divisions: Institute of Philosophy
Collections: London Philosophy Papers
Depositing User:
URI: http://sas-space.sas.ac.uk/id/eprint/848
Files available for downloadg
[img]
Preview
FilenameR_Kempson_Indefinites.pdf
File size248kB
Download
License termsAvailable to public