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..

Articulating Medieval Logic
Terence Parsons Hardcover R3,614 Discovery Miles 36 140
Talking About Nothing - Numbers…
Jody Azzouni Hardcover R3,160 Discovery Miles 31 600
Foundations of Logical Consequence
Colin R. Caret, Ole T. Hjortland Hardcover R4,023 Discovery Miles 40 230
Truth and Realism
Patrick Greenough, Michael P Lynch Hardcover R3,641 Discovery Miles 36 410
The Yablo Paradox - An Essay on…
Roy T. Cook Hardcover R2,703 Discovery Miles 27 030
The Construction of Logical Space
Agustin Rayo Hardcover R2,743 Discovery Miles 27 430
Frege's Conception of Logic
Patricia A. Blanchette Hardcover R2,936 Discovery Miles 29 360
Foundations without Foundationalism - A…
Stewart Shapiro Hardcover R5,225 Discovery Miles 52 250
Empiricism and Experience
Anil Gupta Hardcover R2,041 Discovery Miles 20 410
Bayesian Rationality - The probabilistic…
Mike Oaksford, Nick Chater Hardcover R5,410 Discovery Miles 54 100
Potentiality - From Dispositions to…
Barbara Vetter Hardcover R3,394 Discovery Miles 33 940
Formal Logic
Prior Hardcover R2,110 R1,287 Discovery Miles 12 870

See more

Partners