Switch to: Citations

Add references

You must login to add references.
  1. Meaning Approached Via Proofs.Dag Prawitz - 2006 - Synthese 148 (3):507-524.
    According to a main idea of Gentzen the meanings of the logical constants are reflected by the introduction rules in his system of natural deduction. This idea is here understood as saying roughly that a closed argument ending with an introduction is valid provided that its immediate subarguments are valid and that other closed arguments are justified to the extent that they can be brought to introduction form. One main part of the paper is devoted to the exact development of (...)
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • Constructions, proofs and the meaning of logical constants.Göran Sundholm - 1983 - Journal of Philosophical Logic 12 (2):151 - 172.
    Download  
     
    Export citation  
     
    Bookmark   54 citations