Jump to ContentJump to Main Navigation
Reductive Logic and Proof-search – Proof Theory, Semantics, and Control - Oxford Scholarship Online
Users without a subscription are not able to see the full content.

Reductive Logic and Proof-search: Proof Theory, Semantics, and Control

David J. Pym and Eike Ritter


This a research study about logic. Logic is both part of and has roles in many disciplines, including inter alia, mathematics, computing, and philosophy. The topic covered here — the mathematical theory of reductive logic and proof-search — draws upon the techniques and cultures of all three disciplines, but is mainly about mathematics and computation. Since its earliest presentations, mathematical logic has been formulated as a formalization of deductive reasoning: given a collection of hypotheses, a conclusion is derived. However, the advent of computational logic has emphasized the signific ... More

Keywords: proof-search, computation, deductive reasoning, reductive reasoning, semantics of proofs, intuitionistic logic, classical reductive logic

Bibliographic Information

Print publication date: 2004 Print ISBN-13: 9780198526339
Published to Oxford Scholarship Online: September 2007 DOI:10.1093/acprof:oso/9780198526339.001.0001


Affiliations are at time of print publication.

David J. Pym, author
Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol

Eike Ritter, author
Lecturer in Computer Science, University of Birmingham