Journal ArticleDOI
Discontinuity in categorial grammar
Reads0
Chats0
TLDR
The present paper treats discontinuity in this way, by residuation with respect to three adjunctions: + (associative), (.,.) (split-point marking), andW (wrapping), and it is shown how the resulting methods apply to discontinuous functors, quantifier scope and quantifiers scope ambiguity, pied piping, and subject and object antecedent reflexivisation.Abstract:
Discontinuity refers to the character of many natural language constructions wherein signs differ markedly in their prosodic and semantic forms. As such it presents interesting demands on monostratal computational formalisms which aspire to descriptive adequacy. Pied piping, in particular, is argued by Pollard (1988) to motivate phrase structure-style feature percolation. In the context of categorial grammar, Bach (1981, 1984), Moortgat (1988, 1990, 1991) and others have sought to provide categorial operators suited to discontinuity. These attempts encounter certain difficulties with respect to model theory and/or proof theory, difficulties which the current proposals are intended to resolve.read more
Citations
More filters
Book ChapterDOI
Categorial Type Logics
TL;DR: Categorial type logics developed out of the Syntactic Calculus proposed by Lambek fifty years ago, and complemented in the 1980'ies with a ‘proofs-as-programs’ interpretation associating derivations in a syntactic source calculus with terms of the simply typed linear lambda calculus expressing meaning composition.
Book ChapterDOI
Chapter 2 – Categorial Type Logics
TL;DR: This chapter describes the framework of categorial type logic—that is, grammar architecture that can be seen as the logical development of the categorial approach to natural language analysis initiated in the 1930s, to develop a uniform deductive account of the composition of form and meaning in natural language.
Journal ArticleDOI
The Displacement Calculus
TL;DR: The displacement calculus is presented, which is a logic of intercalation as well as concatenation and which subsumes the Lambek calculus and it is proved that the calculus enjoys Cut-elimination.
Journal ArticleDOI
Paycheck Pronouns, Bach-Peters Sentences, and Variable-Free Semantics
TL;DR: The authors argue for direct compositionality, where the combinatory syntactic rules specify a set of well-formed expressions while the semantic combinatory rules work in tandem to directly supply a model-theoretic interpretation to each expression as it is "built" in the syntax.
BookDOI
The Logic of Categorial Grammars
Richard Moot,Christian Retoré +1 more
TL;DR: A method for harvesting invention fowl which includes the steps of horizontally extending beneath the fowl, in a confined area, a plurality of lifting fingers.
References
More filters
Book
Head-driven phrase structure grammar
Ivan A. Sag,Carl Jesse Pollard +1 more
TL;DR: This book presents the most complete exposition of the theory of head-driven phrase structure grammar, introduced in the authors' "Information-Based Syntax and Semantics," and demonstrates the applicability of the HPSG approach to a wide range of empirical problems.
Book
Constraints on variables in syntax
TL;DR: This paper is intended to provide a history of modern language pedagogical practices in the United States and its applications in the context of modern linguistics.
Book ChapterDOI
The Proper Treatment of Quantification in Ordinary English
TL;DR: The aim of this paper is to present in a rigorous way the syntax and semantics of a certain fragment of acertain dialect of English.
Book
Generalized Phrase Structure Grammar
TL;DR: "Generalized Phrase Structure Grammar" provides the definitive exposition of the theory of grammar originally proposed by Gerald Gazdar and developed during half a dozen years' work with his colleagues Ewan Klein, Geoffrey Pullum, and Ivan Sag.
Journal ArticleDOI
The Mathematics of Sentence Structure
TL;DR: An effective rule (or algorithm) for distinguishing sentences from nonsentences is obtained, which works not only for the formal languages of interest to the mathematical logician, but also for natural languages such as English, or at least for fragments of such languages.