SAS-Space, for world class research

Please note, SAS-space will not be accepting new items for deposit between 25th Feb and 4th March 2015. This is so we can upgrade and migrate to a new server.

Latest additions


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)".
Keywords:Dynamic syntax, Indefinites
Divisions:Institute of Philosophy
Collections:London Philosophy Papers
Deposited By:Repository Administrator
Date Deposited:08 Oct 2010 11:35
Last Modified:12 Oct 2010 07:44
Files available for downloadg
File size242Kb
License termsAvailable to public
Comments Notes Tags All


Add a Comment

Close comments


Add a Note - this will be visible to you alone, while you are logged in.

Note title [optional]:

Close notes
Tag this item (You may enter a comma separated list):
Close tags

Repository Staff Only
Item control page