Switch to: Citations

Add references

You must login to add references.
  1. Towards a Foundation of General Proof Theory.Dag Prawitz - 1973 - In ¸ Itetsuppes1973. North Holland, Amsterdam.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Über den Begriff der Logischen Folgerung.Alfred Tarski - 1937 - Journal of Symbolic Logic 2 (2):83-84.
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • (4 other versions)What is a Theory of Meaning? (II).Michael Dummett - 1976 - In Gareth Evans & John McDowell (eds.), What is a Theory of Meaning? Oxford: Clarendon Press.
    Download  
     
    Export citation  
     
    Bookmark   222 citations  
  • Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
    This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.
    Download  
     
    Export citation  
     
    Bookmark   349 citations  
  • On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.
    Download  
     
    Export citation  
     
    Bookmark   76 citations  
  • Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
    Download  
     
    Export citation  
     
    Bookmark   131 citations  
  • Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • 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  
  • The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.
    Download  
     
    Export citation  
     
    Bookmark   172 citations  
  • (2 other versions)Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • (1 other version)Meaning and proofs: On the conflict between classical and intuitionistic logic.Dag Prawitz - 1977 - Theoria 43 (1):2--40.
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • (4 other versions)What is a theory of meaning?Michael A. E. Dummett - 1975 - In Samuel D. Guttenplan (ed.), Mind and language. Oxford [Eng.]: Clarendon Press.
    Download  
     
    Export citation  
     
    Bookmark   219 citations  
  • (2 other versions)Intuitionism.A. Heyting - 1971 - Amsterdam,: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   77 citations  
  • Foundations of Intuitionistic Logic.G. Kreisel - 1965 - Journal of Symbolic Logic 30 (2):243-244.
    Download  
     
    Export citation  
     
    Bookmark   40 citations