BIBLIOPOLIS, EDIZIONI DI FILOSOFIA E SCIENZE
Via Arangio Ruiz 83-80122 Napoli-Italy
Telephone +39-081-664606
Fax +39-081-7616273

G.E. Mintz, Selected Papers in Proof Theory, pp. 296, rilegato, 1992.
ISBN 88-7088-228-4     € 62,00
    Pubblicato in coedizione con North-Holland.

 

STUDIES IN PROOF THEORY 3

Contents

Introduction

  1. Finite Investigations of Transfinite Derivations
  2. Normalization of Finite Terms and Derivations via Infinite Ones
  3. A new Reduction Sequence for Arithmetic
  4. Heyting Predicate Calculus with Epsilon Symbol
  5. On E-theorems
  6. Stability of E-theorems and Program Verification
  7. Normalization of Natural Deduction and the Effectivity of Classical Existence
  8. On Novikov’s Hypothesis
  9. Reflection and Transfinite Induction
  10. Proof Theory and Category Theory
  11. Closed Categories and the Theory of Proofs
  12. A simple Proof of the Coherence Theorem for Cartesian Closed Categories
  13.  Lewis’ Systems and System T (1965-1973)

This collection includes papers devoted to the structural theory of proofs, which was born in the framework of Hilbert’s program and is applied now in connection with various project  using the effective contents of formlized proofs. The main tool and unifying topic here is normalization i.e. putting proofs into a normal form. The book presuppose some familiarity with the definition and elementary properties of Gentzen-type systems, but not very much beyond that.

[Homepage]