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,189
Discovery Miles 31 890
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,189 Discovery Miles 31 890 | Repayment Terms: R299 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..

Articulating Medieval Logic
Terence Parsons Hardcover R3,835 Discovery Miles 38 350
Talking About Nothing - Numbers…
Jody Azzouni Hardcover R3,353 Discovery Miles 33 530
Foundations of Logical Consequence
Colin R. Caret, Ole T. Hjortland Hardcover R4,269 Discovery Miles 42 690
Truth and Realism
Patrick Greenough, Michael P Lynch Hardcover R3,863 Discovery Miles 38 630
The Yablo Paradox - An Essay on…
Roy T. Cook Hardcover R2,867 Discovery Miles 28 670
The Construction of Logical Space
Agustin Rayo Hardcover R2,909 Discovery Miles 29 090
Frege's Conception of Logic
Patricia A. Blanchette Hardcover R3,114 Discovery Miles 31 140
Foundations without Foundationalism - A…
Stewart Shapiro Hardcover R5,547 Discovery Miles 55 470
Empiricism and Experience
Anil Gupta Hardcover R2,163 Discovery Miles 21 630
Bayesian Rationality - The probabilistic…
Mike Oaksford, Nick Chater Hardcover R5,743 Discovery Miles 57 430
Potentiality - From Dispositions to…
Barbara Vetter Hardcover R3,601 Discovery Miles 36 010
Hume's Problem - Induction and the…
Colin Howson Hardcover R3,738 Discovery Miles 37 380

See more

Partners