Resource-Sensitivity, Binding and Anaphora

Geert-Jan M. Kruijff

ISBN 10: 1402016913 / ISBN 13: 9781402016912

Published by Springer, Springer, 2003

About this Item

Druck auf Anfrage Neuware - Printed after ordering - Geert-Jan Kruijff & Richard T. Oehrle A categorial grammar is both a grammar and a type inference system. As a result of this duality, the categorial framework offers a natural setting in which to study questions of grammatical composition, both empirically and abstractly. There are affinities in this perspective, of course, to basic questions in formal language theory. But the fact that categorial grammars are type in ference systems makes possible intrinsic connections among syntactic types, syntactic type inference, semantic types, and semantic type inference, a con nection less apparent in the standard constructions of formal language theory. Fixing a system of grammatical type inference T, we may explore what gram matical phenomena are compatible with T-and equally, what grammatical phenomena are not. Equally, fixing a class of grammatical phenomena g, we may seek to ascertain what systems of type inference characterize g. This dual perspective is a strong current in the categorial literature, going back to the classical papers of Ajdukiewicz, Bar-Hillel, Curry, and Lambek.

Seller Inventory # 9781402016912

Bibliographic Details

• Title: Resource-Sensitivity, Binding and Anaphora
• Publisher: Springer, Springer
• Publication Date: 2003
• Language: English
• ISBN 10: 1402016913
• ISBN 13: 9781402016912
• Binding: Buch
• Condition: Neu
• Dimensions: 241W x 160H x 23D millimeters 241 millimeters width by 160 millimeters height by 23 millimeters depth
• Weight: 653 grams

About this title

Synopsis

Geert-Jan Kruijff & Richard T. Oehrle A categorial grammar is both a grammar and a type inference system. As a result of this duality, the categorial framework offers a natural setting in which to study questions of grammatical composition, both empirically and abstractly. There are affinities in this perspective, of course, to basic questions in formal language theory. But the fact that categorial grammars are type in­ ference systems makes possible intrinsic connections among syntactic types, syntactic type inference, semantic types, and semantic type inference, a con­ nection less apparent in the standard constructions of formal language theory. Fixing a system of grammatical type inference T, we may explore what gram­ matical phenomena are compatible with T-and equally, what grammatical phenomena are not. Equally, fixing a class of grammatical phenomena g, we may seek to ascertain what systems of type inference characterize g. This dual perspective is a strong current in the categorial literature, going back to the classical papers of Ajdukiewicz, Bar-Hillel, Curry, and Lambek.

Review

From the reviews:

"This book is a special event, bringing together well-known names from logic, linguistics and computational linguistics. This fact speaks for itself about the value of the contributions. a ] The unique character of this outstanding collection of highest quality papers consists in most contributions adopting a (logical and linguistic) resource-sensitivity and resource management perspective for the resolution of phenomena such as contextual reference, quantification, binding and anaphora, across various levels of linguistic structuring a ] ." (Neculai Curteanu, Zentralblatt MATH, Vol. 1056 (7), 2005)