Learn More
In this paper we develop the beginnings of a tableau system for natural logic, the logic that is present in ordinary language and that us used in ordinary reasoning. The system is based on certain terms of the typed lambda calculus that can go proxy for linguistic forms and which we call Lambda Logical Forms. It is argued that proof-theoretic methods like(More)
An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach , which underlies the Description Theory of (Marcus et al. 1983) was integrated with a pure(More)
Eindhoven. Het is gefinancierd door het Samenwerkingsorgaan Brabantse Univer-siteiten (SOBU), onder projectcode 99-M, Hintikka's revolution in the foundations of mathematics. Preface People compare the process of writing a PhD-thesis with all kinds of things. When I had just decided to undertake this adventure, I was very happy to hear from a recent(More)