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: Goal-Directed Proof Theory
  name:
    name part: Gabbay, Dov M.
    role:
      role term: creator
  name:
    name part: Olivetti, Nicola.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: ne
    date issued: 2000
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (x, 268 pages)
  abstract: Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective. Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory.
  note: by Dov M. Gabbay, Nicola Olivetti.
  note: Electronic resource.
  subject:
    topic: Philosophy (General)
  subject:
    topic: Logic
  subject:
    topic: Computer science
  classification: BC1-199
  classification: 160
  related item:
    title info:
      title: Applied logic series ; 21
  identifier: 9789401717137 (electronic bk.)
  identifier: 9401717133 (electronic bk.)
  identifier: 9789048155262
  identifier: 9048155266
  identifier: 9401717133
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: AU@
    record creation date: 130413
    record change date: 20260420210059.6
    record identifier: in00003551803
    language of cataloging:
      language term: eng