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

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