Reductive Logic and Proof-search
proof theory, semantics, and control
$250.40
- Hardcover
232 pages
- Release Date
29 April 2004
Summary
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modernapplications in the computational sci…
Book Details
| ISBN-13: | 9780198526339 |
|---|---|
| ISBN-10: | 0198526334 |
| Series: | Oxford Logic Guides |
| Author: | David J. Pym, Eike Ritter |
| Publisher: | Oxford University Press |
| Imprint: | Oxford University Press |
| Format: | Hardcover |
| Number of Pages: | 232 |
| Release Date: | 29 April 2004 |
| Weight: | 480g |
| Dimensions: | 242mm x 162mm x 18mm |
What They're Saying
Critics Review
“Drawing somewhat on the techniques and culture of philosophy, but mostly on those of mathematics and computing, Pyn (U. of Bath) and Ritter (U. of Birmingham) introduce reductive logic and proof-search. They argue that the reductive view of logic is at least as fundamental as the deductive view; identify some of the problems that must be addressed in order to provide a semantics of proof-searches of comparable value to the corresponding semantics of proof; and explain how to solve these problems in intuitionistic logic, which adequately models not only the logical but also the operational aspects of the reductive system. “–SciTech Book News
About The Author
David J. Pym
David J. Pym hold a Royal Society Industry Fellowship at Hewlett-Packard Laboratories, Bristol and the University of Bath.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.