| Dewey Class |
160 |
| Title |
Goal-Directed Proof Theory ([EBook] /) / by Dov M. Gabbay, Nicola Olivetti. |
| Author |
Gabbay, Dov M. |
| Added Personal Name |
Olivetti, Nicola author. |
| Other name(s) |
SpringerLink (Online service) |
| Publication |
Dordrecht : : Springer Netherlands : : Imprint: Springer, , 2000. |
| Physical Details |
X, 268 p. : online resource. |
| Series |
Applied Logic Series 1386-2790 ; ; 21 |
| ISBN |
9789401717137 |
| Summary Note |
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.: |
| Contents note |
1 Introduction -- 2 Intuitionistic and Classical Logics -- 3 Intermediate Logics -- 4 Modal Logics of Strict Implication -- 5 Substructural Logics -- 6 Conclusions and Further Work. |
| System details note |
Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users) |
| Internet Site |
http://dx.doi.org/10.1007/978-94-017-1713-7 |
| Links to Related Works |
Subject References:
Authors:
Corporate Authors:
Series:
Classification:
|
|---|
