Goal-Directed Proof Theory : Applied Logic - Dov M. Gabbay

Goal-Directed Proof Theory

By: Dov M. Gabbay, N. Olivetti

Paperback | 4 December 2010

At a Glance

Paperback


$187.31

or 4 interest-free payments of $46.83 with

 or 

Aims to ship in 7 to 10 business 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.

More in Philosophy & Logic

Metaphysics of Nature and Failure in Kant's Opus postumum - Terrence Thomson
Memory Assemblages : Spectral Realism and the Logic of Addition - Hilan Bensusan
Aristotle's Organon in Old and New Logic : 1800-1950 - Colin Guthrie King

RRP $170.00

$125.75

26%
OFF
The Logic of Scientific Discovery : Routledge Classics - Karl Popper
The Elements of Reasoning : 7th Edition - Andrew Black

RRP $147.95

$71.75

52%
OFF
Naming and Necessity : 50th Anniversary Edition - Saul A. Kripke

RRP $52.95

$39.40

26%
OFF
How Logic Works : A User's Guide - Hans Halvorson
Tractatus Logico-Philosophicus : The New Translation - Ludwig Wittgenstein
The Nature of Explanation in Social Sciences - Rajesh Ranjan Tiwari

RRP $81.99

$65.50

20%
OFF
The Vienna Circle : The Story of Logical Empiricism - Sahotra Sarkar

RRP $284.00

$200.95

29%
OFF
Logic and Criticism - William Righter

RRP $179.00

$131.75

26%
OFF
What Is Art For? - Ellen Dissanayake

RRP $57.25

$38.25

33%
OFF
Good Arguments

RRP $35.99

$34.25

Tractatus Logico-Philosophicus - Ludwig Wittgenstein