Switch to: References

Add citations

You must login to add citations.
  1. Bounds for cut elimination in intuitionistic propositional logic.Jörg Hudelmaier - 1992 - Archive for Mathematical Logic 31 (5):331-353.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • On Dummett’s Pragmatist Justification Procedure.Hermógenes Oliveira - 2019 - Erkenntnis 86 (2):429-455.
    I show that propositional intuitionistic logic is complete with respect to an adaptation of Dummett’s pragmatist justification procedure. In particular, given a pragmatist justification of an argument, I show how to obtain a natural deduction derivation of the conclusion of the argument from, at most, the same assumptions.
    Download  
     
    Export citation  
     
    Bookmark   2 citations