Switch to: Citations

Add references

You must login to add references.
  1. Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
    Download  
     
    Export citation  
     
    Bookmark   146 citations  
  • Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.
    Download  
     
    Export citation  
     
    Bookmark   98 citations  
  • A normal form for logical derivations implying one for arithmetic derivations.G. Mints - 1993 - Annals of Pure and Applied Logic 62 (1):65-79.
    We describe a short model-theoretic proof of an extended normal form theorem for derivations in predicate logic which implies in PRA a normal form theorem for the arithmetic derivations . Consider the Gentzen-type formulation of predicate logic with invertible rules. A derivation with proper variables is one where a variable b can occur in the premiss of an inference L but not below this premiss only in the case when L is () or () and b is its eigenvariable. Free (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations