Research Catalog

Title

Logic, language, and reasoning : essays in honour of Dov Gabbay / edited by Hans Jürgen Ohlbach and Uwe Reyle.

Publication

Dordrecht ; Boston, Mass. : Kluwer Academic, ©1999.

Items in the Library & Off-site

Details

Additional Authors

• Gabbay, Dov M., 1945-
• Ohlbach, Hans Jürgen.
• Reyle, U., 1955-

Description

ix, 429 pages : illustrations; 25 cm.

Summary

"This book is dedicated to Dov Gabbay, one of the most outstanding researchers in the area of logic, language and reasoning. He has exerted a profound influence in the major fields of logic, linguistics and computer science." "Most of the chapters included, therefore, build on his work and present results or summarize areas where Dov has made major contributions. In particular his work on Labelled Deductive Systems is addressed in most of the contributions." "The book demonstrates that relatively few basic techniques and ideas, in particular the idea of labelled deductive systems, can be successfully applied in many different areas."--Jacket.

Series Statement

Trends in logic ; v. 5

Uniform Title

Trends in logic ; v. 5.

Subjects

• Taalfilosofie
• Logica
• Sprachlogik
• Common sense reasoning
• Deduktion
• Prädikation
• Quantor
• Computerlinguistik
• Formale Semantik
• Logik
• Logic
• Language and logic
• Language and languages > Philosophy
• logic

Bibliography (note)

• Includes bibliographical references and indexes.

Contents

Dov Gabbay : "I am a logic" / [Jelle Gerbrandy and Anne-Marie Mineur] -- Proofs, labels and dynamics in natural language / Johan van Benthem -- What a linguist might want from a logic of MOST and other generalized quantifiers / Hans Kamp -- Imperative history : two-dimensional executable temporal logic / Marcelo Finger and Mark Reynolds -- Diagrammatic reasoning in projective geometry / Philippe Balbiani and Luis Fariñas del Cerro -- On sentences of the kind "Sentence 'p' is about topic t" / Robert Demolombe and Andrew J.I. Jones -- Two traditions in the logic of belief : bringing them together / Krister Segerberg -- Elimination of predicate quantifiers / Andreas Nonnengart, Hans Jürgen Ohlbach and Andrzej Szałas -- Labelled natural deduction / Ruy J.G.B. de Queiroz and Dov M. Gabbay -- A general reasoning scheme for underspecified representations / Esther König and Uwe Reyle -- Towards a procedural model of natural-language interpretation crossover : a case study / Ruth Kempson -- Transformation methods in LDS / Krysia Broda, Marcello D'Agostino and Alessandra Russo -- Labelled deduction in the composition of form and meaning / Michael Moortgat -- Formalisms for non-formal languages / Julius M. Moravscik.

ISBN

• 079235687X
• 9780792356875

LCCN

99020301

OCLC

• ocm40964748
• 40964748
• SCSB-1243112

Owning Institutions

Princeton University Library