Goal-Directed Proof Theory (Paperback, Softcover reprint of the original 1st ed. 2000)

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:	December 2010
First published:	2000
Authors:	Dov M. Gabbay • N. Olivetti
Dimensions:	235 x 155 x 14mm (L x W x T)
Format:	Paperback
Pages:	268
Edition:	Softcover reprint of the original 1st ed. 2000
ISBN-13:	978-90-481-5526-2
Categories:	Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Computing & IT > Computer programming > Programming languages > General Books > Philosophy > Topics in philosophy > Logic Promotions
LSN:	90-481-5526-6
Barcode:	9789048155262

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!