Goal-Directed Proof Theory

Name: Goal-Directed Proof Theory
SKU: 2051822
Price: 290.00 NZD
Availability: InStock

By:

Format:

Hardback

Series:

Applied Logic Series

Show Hide Adult Content

$290.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $72.50 with Afterpay Learn more

6 weekly interest-free payments of $48.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 25 Jun - 5 Jul using International Courier

Description

This guide presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, favourable for proof search. The methodology is applied 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 from a procedural perspective. The text should be useful to computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. It is also suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory.

Release date NZ

August 31st, 2000

Author

Audiences

Postgraduate, Research & Scholarly
Professional & Vocational
Undergraduate

Illustrations

X, 268 p.

Pages

268

Series

Applied Logic Series

Dimensions

156x234x17

ISBN-13

9780792364733

Product ID

2051822

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here