Overview

This book is dedicated to Dov Gabbay, one of the most outstanding and most productive 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 chapters on computational linguistics address logical and deductive aspects of linguistic problems. The papers by van Benthem Lambek and Moortgat investigate categorial considerations and the use of labels within the ""parsing as deduction"" approach. Analyses of particular linguistic problems are given in the remaining papers by Kamp, Kempson, Moravcsik, Konig and Reyle. They address the logic of generalized quantifiers, the treatment of cross-over phenomena and temporal/aspectual interpretation, as well as applicability of underspecified deduction in linguistic formalisms. The more logic-oriented chapters address philosophical and proof-theoretic problems and give algorithmic solutions for most of them. The spectrum ranges from K. Segerberg's contribution which brings together the two traditions of epistemic and doxastic logics of belief, to M. Finger and M. Reynold's chapter on two-dimensional executable logics with applications to temporal databases. The book demonstrates that a relatively small number of basic techniques and ideas, in particular the idea of labelled deductive systems, can be successfully applied in many different areas.

Full Product Details

Author:   Hans Jurgen Ohlbach ,  U. Reyle
Publisher:   Kluwer Academic Publishers
Imprint:   Kluwer Academic Publishers
Edition:   Annotated edition
Volume:   v. 5
Weight:   0.833kg
ISBN:  

9780792356875

ISBN 10:   079235687
Pages:   440
Publication Date:   30 June 1999
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

Preface. 'I am a logic'; D. Gabbay. Research Themes of Dov Gabbay. Proofs, Labels and Dynamics in Natural Language; J. van Benthem. What a Linguist Might Want From a Logic of MOST and Other Generalized Quantifiers; H. Kamp. Imperative History: Two-dimensional Executable Temporal Logic; M. Finger, M. Reynolds. Diagrammatic Reasoning in Projective Geometry; P. Balbiani, L.F. del Cerro. On Sentences of the Kind 'Sentence 'p' is About Topic t'; R. Demolombe, A.J.I. Jones. Two Traditions in the Logic of Belief: Bringing them Together; K. Segerberg. Elimination of Predicate Quantifiers; A. Nonnengart, et al. Labelled Natural Deduction; R.J.G.B. de Queiroz, D.M. Gabby. A General Reasoning Scheme for Underspecified Representations; E. Konig, U. Reyle. Deductive Systems and Categories in Linguistics; J. Lambek. Towards a Procedural Model of Natural-language Interpretation Crossover: A Case Study; R. Kempson. Transformation Methods in LDS; K. Broda, et al. Labelled Deduction in the Composition of Form and Meaning; M. Moortgat. Formalisms for Non-formal Languages; J.M. Moravcsik. Names Index. Index.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions