Results

**1 - 3**of**3**### Searchable Online Edition

, 2006

"... Using a human-oriented formal example proof of the (lim+) theorem, i.e. that the sum of limits is the limit of the sum, which is of value for reference on its own, we exhibit a nonpermutability of β-steps and δ +-steps (according to Smullyan’s classification), which is not visible with non-liberaliz ..."

Abstract
- Add to MetaCart

Using a human-oriented formal example proof of the (lim+) theorem, i.e. that the sum of limits is the limit of the sum, which is of value for reference on its own, we exhibit a nonpermutability of β-steps and δ +-steps (according to Smullyan’s classification), which is not visible with non-liberalized δ-rules and not serious with further liberalized δ-rules, such as the δ ++-rule. Besides a careful presentation of the search for a proof of (lim+) with several pedagogical intentions, the main subject is to explain why the order of β-steps plays such a practically important role in some calculi.

### Parsing Natural Language using LDS: A Prototype

, 1997

"... This paper describes a prototype implementation of a Labelled Deduction System for natural language interpretation [Gabbay & Kempson 1992], where interpretation is taken to be the process of understanding a natural language utterance. The implementation models the process of understanding wh-gap ..."

Abstract
- Add to MetaCart

This paper describes a prototype implementation of a Labelled Deduction System for natural language interpretation [Gabbay & Kempson 1992], where interpretation is taken to be the process of understanding a natural language utterance. The implementation models the process of understanding wh-gap dependencies in questions and relative clauses for a fragment of English. The paper is divided in three main sections. In section 1, we introduce the basic architecture of the system. Section 2 outlines a prototype implementation of wh-binding and indicates its potential for explanation of linguistic phenomena, and in Section 3 we briefly set the model within a larger theoretical perspective, comparing it to other type-logical approaches to natural language analysis. 0 A Brief Background on LDSNL In LDSNL , natural language understanding is modelled as a syntactic process mapping lexical items onto representations in some logical system. The outcome of the interpretation process is taken to be...