Switch to: References

Add citations

You must login to add citations.
  1. Marginalia on sequent calculi.A. S. Troelstra - 1999 - Studia Logica 62 (2):291-303.
    The paper discusses the relationship between normal natural deductions and cutfree proofs in Gentzen (sequent) calculi in the absence of term labeling. For Gentzen calculi this is the usual version; for natural deduction this is the version under the complete discharge convention, where open assumptions are always discharged as soon as possible. The paper supplements work by Mints, Pinto, Dyckhoff, and Schwichtenberg on the labeled calculi.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Philosophy of mathematics and computer science.Kazimierz Trzęsicki - 2010 - Studies in Logic, Grammar and Rhetoric 22 (35).
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Proofs and programs.Giuseppe Longo - 2003 - Synthese 134 (1-2):85 - 117.
    Download  
     
    Export citation  
     
    Bookmark   1 citation