Switch to: References

Add citations

You must login to add citations.
  1. Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs.Shawn Standefer - 2019 - Studia Logica 107 (6):1103-1134.
    Two common forms of natural deduction proof systems are found in the Gentzen–Prawitz and Jaśkowski–Fitch systems. In this paper, I provide translations between proofs in these systems, pointing out the ways in which the translations highlight the structural rules implicit in the systems. These translations work for classical, intuitionistic, and minimal logic. I then provide translations for classical S4 proofs.
    Direct download (2 more)  
    Export citation  
    Bookmark   1 citation  
  • Translations Between Linear and Tree Natural Deduction Systems for Relevant Logics.Shawn Standefer - forthcoming - Review of Symbolic Logic:1-22.
    Anderson and Belnap presented indexed Fitch-style natural deduction systems for the relevant logics R, E, and T. This work was extended by Brady to cover a range of relevant logics. In this paper I present indexed tree natural deduction systems for the Anderson–Belnap–Brady systems and show how to translate proofs in one format into proofs in the other, which establishes the adequacy of the tree systems.
    Direct download (2 more)  
    Export citation  
  • Trees for E.Shawn Standefer - 2018 - Logic Journal of the IGPL 26 (3):300-315.
  • Normalization Theorems for Full First Order Classical Natural Deduction.Gunnar Stålmarck - 1991 - Journal of Symbolic Logic 56 (1):129-149.