We use cookies to provide essential features and services. By using our website you agree to our use of cookies .

×

Warehouse Stock Clearance Sale

Grab a bargain today!


Reductive Logic and Proof-search
By

Rating

Product Description
Product Details

Table of Contents

Preface
Foreword by Lincoln Wallen
1: Deductive Logic, Reductive Logic, and Proof-search
2: Lambda-calculi for Intuitionistic and Classical Proofs
3: The Semantics of Intuitionistic and Classical Proofs
4: Proof Theory for Reductive Logic
5: Semantics for Reductive Logic
6: Intuitionistic and Classical Proof-search and Their Semantics
References
Index

About the Author

David J. Pym hold a Royal Society Industry Fellowship at Hewlett-Packard Laboratories, Bristol and the University of Bath.

Reviews

"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

Ask a Question About this Product More...
 
Look for similar items by category
People also searched for
Item ships from and is sold by Fishpond Retail Limited.

Back to top