Goal-Directed Proof Theory
Author:   Dov M. Gabbay ,  N. Olivetti
Publisher:   Springer
Edition:   2000 ed.
Volume:   21
ISBN:  

9780792364733


Pages:   268
Publication Date:   31 August 2000
Format:   Hardback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $472.56 Quantity:  
Add to Cart

Share |

Goal-Directed Proof Theory


Add your own review!

Overview

This guide presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, favourable for proof search. The methodology is applied 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 from a procedural perspective. The text should be useful to computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. It is also suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory.

Full Product Details

Author:   Dov M. Gabbay ,  N. Olivetti
Publisher:   Springer
Imprint:   Springer
Edition:   2000 ed.
Volume:   21
Dimensions:   Width: 15.60cm , Height: 1.70cm , Length: 23.40cm
Weight:   1.270kg
ISBN:  

9780792364733


ISBN 10:   0792364732
Pages:   268
Publication Date:   31 August 2000
Audience:   College/higher education ,  Professional and scholarly ,  Undergraduate ,  Postgraduate, Research & Scholarly
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

1 Introduction.- 2 Intuitionistic and Classical Logics.- 3 Intermediate Logics.- 4 Modal Logics of Strict Implication.- 5 Substructural Logics.- 6 Conclusions and Further Work.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now