Hypothetical-reasoning and radical non-constituent coordination in categorial logic
Nissim Francez · 1997
The paper investigates the connection between non-constituent coordination, as implemented in categorial grammar by means of a polymorphic type-assignment to lexical conjunctions, and hypothetical reasoning in Categorial Logics. A way of extending the logic is suggested, so that coordination can be applied to types depending on undischarged assumptions. By a certain "resource manipulation" of assumptions (of hypothetical reasoning), a late-discharge is facilitated, leading to what is referred to as the radical non-constituent coordination, wherby only basic types (and not functional types of any kind) are coordinated. 1991 Computing Reviews Classification System: F.4.1, F.4.2, J.5 Keywords and Phrases: Non-constituent coordination, Categorial Grammar, Hypothetical-reasoning, Lambek calculus Note: work carried out under project INS.3, PDP. 1. Introduction One of the acclaimed advantages of Categorial Grammar (CG) as a theory of the syntax of natural languages is its ability to smoo...