Reductive logic and proof-search: proof theory, semantics, and control
Choice Reviews Online · 2004
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