Sign-In
Cart
Goal-Directed Proof Theory
Paperback
Series: Applied Logic, Book 21
Please select the version of book you would like to purchase.
ISBN10: 9048155266
ISBN13: 9789048155262
Publisher: Springer
Published: Dec 4 2010
Pages: 268
Weight: 0.87
Height: 0.59 Width: 6.14 Depth: 9.21
Language: English
ISBN13: 9789048155262
Publisher: Springer
Published: Dec 4 2010
Pages: 268
Weight: 0.87
Height: 0.59 Width: 6.14 Depth: 9.21
Language: English
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.
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.
1 different editions
Also available
Also from
Gabbay, Dov M.
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
Coniglio, Marcelo
Gabbay, Dov M.
Carnielli, Walter
Hardcover
$237.99
Neural-Symbolic Learning Systems: Foundations and Applications
D'Avila Garcez, Artur S.
Broda, Krysia B.
Gabbay, Dov M.
Paperback
$169.99
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
Gabbay, Dov M.
Hardcover
$169.99
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
Gabbay, Dov M.
Carnielli, Walter
Coniglio, Marcelo
Paperback
$169.99
Also in
Logic
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends 1
Carley, Shane
Paperback
$12.30
The Fallacy Detective: Thirty-Eight Lessons on How to Recognize Bad Reasoning
Bluedorn, Nathaniel
Bluedorn, Hans
Paperback
$35.00
The Thinking Toolbox: Thirty-Five Lessons That Will Build Your Reasoning Skills
Bluedorn, Nathaniel
Bluedorn, Hans
Paperback
$35.00
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends
Carley, Shane
Hardcover
$18.95
Mastering Logical Fallacies: The Definitive Guide to Flawless Rhetoric and Bulletproof Logic
Withey, Michael
Paperback
$16.14
Walden - On Walden Pond - Life in the Woods - The Transcendentalist Masterpiece
Thoreau, Henry David
Paperback
$16.24
The Pig That Wants to Be Eaten: 100 Experiments for the Armchair Philosopher
Baggini, Julian
Paperback
$17.10
The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number
Frege, Gottlob
Paperback
$30.00
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
Bennett, Bo
Hardcover
$47.45
Socratic Logic: Edition 3.1: A Logic Text Using Socratic Method, Platonic Questions, & Aristotelian Principles
Kreeft, Peter
Hardcover
$63.00
The Art of Logical Thinking: Inductive, Deductive and Hypothetical Reasoning and the Use of Syllogisms and Fallacies
Atkinson, William Walker
Paperback
$11.23
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
Bennett, Bo
Paperback
$28.45
The Power of Critical Thinking: Effective Reasoning about Ordinary and Extraordinary Claims
Vaughn, Lewis
Paperback
$154.49
Good Reasoning Matters!: A Guide to Critical Thinking in a Digital Age, Sixth Edition
Groarke, Leo
Carozza, Linda
Tindale, Christopher W.
Paperback
$104.93
The Critical Thinking Toolkit: Your Guide to Success in Learning, Thinking and Writing at University (First)
Cooke, Belinda
Morris, Laurence
Beesley, Paula
Paperback
$35.00
Nonsense: Red Herrings, Straw Men and Sacred Cows: How We Abuse Logic in Our Everyday Language
Gula, Robert J.
Paperback
$11.40
Tractatus Logico-Philosophicus (Chiron Academic Press - The Original Authoritative Edition)
Wittgenstein, Ludwig
Paperback
$9.13
The Duck That Won the Lottery: 100 New Experiments for the Armchair Philosopher
Baggini, Julian
Paperback
$22.00
With All Your Mind: A Course on Logic and Argument for the Christian Classroom
Finkbeiner, Brad Paul
Paperback
$23.99
How to Think about the Great Ideas: From the Great Books of Western Civilization
Adler, Mortimer
Paperback
$49.35
The Critical Thinking Toolkit: Your Guide to Success in Learning, Thinking and Writing at University (First)
Cooke, Belinda
Morris, Laurence
Beesley, Paula
Hardcover
$58.80
Swirling Symmetry: Thoughts and Images on Mathematics, Motion & Pattern
Coleman, Sandra DeLozier
Hardcover
$23.70
Gateway to the Stoics: Marcus Aurelius's Meditations, Epictetus's Enchiridion, and Selections from Seneca's Letters
Epictetus
Seneca
Aurelius, Marcus
Paperback
$17.10
Critical Thinking: Tools for Taking Charge of Your Professional and Personal Life
Paul, Richard
Elder, Linda
Hardcover
$70.00
One: Being an Investigation Into the Unity of Reality and of Its Parts, Including the Singular Object Which Is Nothingness
Priest, Graham
Hardcover
$166.75
The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness
Prince, Hal
Paperback
$11.64
Master Your Mind: Critical-Thinking Exercises and Activities to Boost Brain Power and Think Smarter
Danesi, Marcel
Paperback
$15.19
Critical Reasoning: A Romp through the Foothills of Logic for the Complete Beginner
Talbot, Marianne
Paperback
$27.59
Playing God with Emerging Technologies: How to Avoid the Traps of Techno-Optimism and Techno-Pessimism
Mizrahi, Moti
Hardcover
$165.00
The Theory of Moral Sentiments (Royal Collector's Edition) (Case Laminate Hardcover with Jacket)
Smith, Adam
Hardcover
$62.49
Good Thinking: Why Flawed Logic Puts Us All at Risk and How Critical Thinking Can Save the World
Grimes, David Robert
Paperback
$17.05
Autonomy, Consciousness, and Personhood: A Primer for the Public Dialogue on Abortion
Bujno, Stephen
Hardcover
$54.15