rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Logic, Language and Reasoning
    sub title: Essays in Honour of Dov Gabbay
  name:
    name part: Ohlbach, Hans Jürgen.
    role:
      role term: creator
  name:
    name part: Reyle, Uwe.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: ne
    date issued: 1999
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (440 pages)
  abstract: 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, König 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.
  note: edited by Hans Jürgen Ohlbach, Uwe Reyle.
  note: Electronic resource.
  subject:
    topic: Logic
  subject:
    topic: Language and logic
  subject:
    topic: Language and languages
    topic: Philosophy
  subject:
    topic: Language and languages
    topic: Philosophy
  subject:
    topic: Language and logic
  subject:
    topic: Logic
  classification: BC57
  classification: 160
  related item:
    title info:
      title: Trends in Logic, Studia Logica Library, ; 5
  identifier: 9789401145749 (electronic bk.)
  identifier: 9401145741 (electronic bk.)
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: I9W
    record creation date: 121227
    record change date: 20260420203139.4
    record identifier: in00003545524
    language of cataloging:
      language term: eng