0
Your cart

Your cart is empty

Books > Humanities > Philosophy > Topics in philosophy > Logic

Buy Now

Goal-Directed Proof Theory (Hardcover, 2000 ed.) Loot Price: R3,034
Discovery Miles 30 340
Goal-Directed Proof Theory (Hardcover, 2000 ed.): Dov M. Gabbay, N. Olivetti

Goal-Directed Proof Theory (Hardcover, 2000 ed.)

Dov M. Gabbay, N. Olivetti

Series: Applied Logic Series, 21

 (sign in to rate)
Loot Price R3,034 Discovery Miles 30 340 | Repayment Terms: R284 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer
Country of origin: Netherlands
Series: Applied Logic Series, 21
Release date: August 2000
First published: 2000
Authors: Dov M. Gabbay • N. Olivetti
Dimensions: 234 x 156 x 17mm (L x W x T)
Format: Hardcover
Pages: 268
Edition: 2000 ed.
ISBN-13: 978-0-7923-6473-3
Categories: Books > Humanities > Philosophy > Topics in philosophy > Logic
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Philosophy > Topics in philosophy > Logic
Promotions
LSN: 0-7923-6473-2
Barcode: 9780792364733

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Truth and Realism
Patrick Greenough, Michael P Lynch Hardcover R3,641 Discovery Miles 36 410
Foundations without Foundationalism - A…
Stewart Shapiro Hardcover R5,225 Discovery Miles 52 250
Bayesian Rationality - The probabilistic…
Mike Oaksford, Nick Chater Hardcover R5,410 Discovery Miles 54 100
Hume's Problem - Induction and the…
Colin Howson Hardcover R3,523 Discovery Miles 35 230
In Contradiction
Graham Priest Hardcover R4,670 Discovery Miles 46 700
Logic on the Track of Social Change
David Braybrooke, Bryson Brown, … Hardcover R1,488 Discovery Miles 14 880
An Essay Concerning Human Understanding
John Locke Paperback R797 Discovery Miles 7 970
An Essay Concerning Human Understanding
John Locke Paperback R724 Discovery Miles 7 240
An Essay Concerning Human Understanding…
John Locke Paperback R761 Discovery Miles 7 610
An Essay Concerning Human Understanding
John Locke Paperback R618 Discovery Miles 6 180
An Essay Concerning Human Understanding
John Locke Paperback R726 Discovery Miles 7 260
The Elements of Logic - in Four Books
William Duncan Paperback R509 Discovery Miles 5 090

See more

Partners