Dordrecht, Netherland: Kluwer Academic (2000)
Authors |
|
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.
|
Keywords | Proof theory |
Categories | (categorize this paper) |
Reprint years | 2014 |
Buy this book | $23.74 new Amazon page |
Call number | QA9.54.G33 2000 |
ISBN(s) | 9401717141 9780792364733 0792364732 9048155266 9789401717144 9789048155262 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Context-Dependent Abduction and Relevance.Dov Gabbay, Rolf Nossum & John Woods - 2006 - Journal of Philosophical Logic 35 (1):65-81.
Theorem Proving for Conditional Logics: CondLean and GOALD U CK.Nicola Olivetti & Gian Luca Pozzato - 2008 - Journal of Applied Non-Classical Logics 18 (4):427-473.
Nice Embedding in Classical Logic.Peter Verdée & Diderik Batens - 2016 - Studia Logica 104 (1):47-78.
Similar books and articles
Proof Theory of Modal Logic.Heinrich Wansing (ed.) - 1996 - Dordrecht, Netherland: Kluwer Academic Publishers.
Decomposition Proof Systems for Gödel-Dummett Logics.Arnon Avron & Beata Konikowska - 2001 - Studia Logica 69 (2):197-219.
Displaying and Deciding Substructural Logics 1: Logics with Contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.
Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - Cambridge University Press.
Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication.Dov M. Gabbay & Nicola Olivetti - 1998 - Studia Logica 61 (2):237-280.
Analytics
Added to PP index
2009-01-28
Total views
11 ( #851,963 of 2,505,175 )
Recent downloads (6 months)
1 ( #416,705 of 2,505,175 )
2009-01-28
Total views
11 ( #851,963 of 2,505,175 )
Recent downloads (6 months)
1 ( #416,705 of 2,505,175 )
How can I increase my downloads?
Downloads