Switch to: Citations

Add references

You must login to add references.
  1. Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
    Direct download  
     
    Export citation  
     
    Bookmark   170 citations  
  • Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - 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.
    Direct download  
     
    Export citation  
     
    Bookmark   174 citations  
  • Foundations of Mathematical Logic.Haskell B. Curry - 1963 - Dover Publications.
    Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   59 citations  
  • The System LD.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (1):35-42.
  • On the Proof Theory of the Intermediate Logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.
    A natural deduction formulation is given for the intermediate logic called MH by Gabbay in [4]. Proof-theoretic methods are used to show that every deduction can be normalized, that MH is the weakest intermediate logic for which the Glivenko theorem holds, and that the Craig-Lyndon interpolation theorem holds for it.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Finite Definability of Number-Theoretic Functions and Parametric Completeness of Equational Calculi.Georg Kreisel & William W. Tait - 1967 - Journal of Symbolic Logic 32 (2):270-271.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Intensional Interpretations of Functionals of Finite Type I.W. W. Tait - 1967 - Journal of Symbolic Logic 32 (2):198-212.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  • Leçons de Logique Algébrique.Haskell B. Curry - 1952 - Gauthier-Villars.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations