Goal-Directed Proof Theory by Dov M Gabbay
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.
-
Logic, Language and Computation
-
Labelled Deduction
-
Multi-Dimensional Modal Logic
-
Frontiers of Combining Systems
-
Thirty Five Years of Automating Mathematics
-
Foundations of Bayesianism
-
Rigid Flexibility
-
Reasoning Robots
-
A Modern Perspective on Type Theory
-
Hybrid Logic and its Proof-Theory
-
Proof Theory for Fuzzy Logics
-
Foundations of Rational Agency
-
A Textbook of Belief Dynamics
-
New Essays in Free Logic
-
The Semantics and Proof Theory of the Logic of Bunched Implications
-
Proof Theory of Modal Logic
-
Frontiers in Belief Revision
-
Advances in Intensional Logic
-
Inference on the Low Level
-
Fuzzy Sets, Logics and Reasoning about Knowledge
-
Automated Model Building
-
The Death of Argument
-
Dynamic Worlds
-
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-
An Introduction to Mathematical Logic and Type Theory
-
Advances in Temporal Logic
-
What is Negation?
-
Abduction and Induction
-
Intellectics and Computational Logic
-
Formal Aspects of Context
-
Logical and Computational Aspects of Model-Based Reasoning
-
Analysis and Synthesis of Logics
| SKU | Unavailable |
| ISBN 13 | 9789048155262 |
| ISBN 10 | 9048155266 |
| Title | Goal-Directed Proof Theory |
| Author | Dov M Gabbay |
| Series | Applied Logic Series |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2010-12-04 |
| Number of pages | 268 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |