Switch to: Citations

Add references

You must login to add references.
  1. Principles of continuous choice and continuity of functions in formal systems for constructive mathematics.Michael J. Beeson - 1977 - Annals of Mathematical Logic 12 (3):249.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • On the interpretation of non-finitist proofs–Part II.G. Kreisel - 1952 - Journal of Symbolic Logic 17 (1):43-58.
    Download  
     
    Export citation  
     
    Bookmark   32 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  
  • A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • Schütte Kurt. Beweistheoretische Untersuchung der verzweigten Analysis. Mathematische Annalen, Bd. 124 , S. 123–147.Wilhelm Ackermann - 1953 - Journal of Symbolic Logic 18 (1):76-76.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Realizability and intuitionistic logic.J. Diller & A. S. Troelstra - 1984 - Synthese 60 (2):253 - 282.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • (1 other version)Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • Algebraische und logistische untersuchungen über freie verbände.Paul Lorenzen - 1951 - Journal of Symbolic Logic 16 (2):81-106.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • (1 other version)On the interpretation of intuitionistic number theory.Stephen Cole Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
    Download  
     
    Export citation  
     
    Bookmark   79 citations  
  • Schütte Kurt. Beweistheoretische Erfassung der unendlichen Induktion in der Zahlen-theorie. Mathematische Annalen, Bd. 122 Heft 5 , S. 369–389. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (3):221-221.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der reinen Zahlentheorie.Gerhard Gentzen - 1944 - Journal of Symbolic Logic 9 (3):70-72.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.
    Download  
     
    Export citation  
     
    Bookmark   98 citations  
  • Proof theory and intuitionistic systems.Bruno Scarpellini - 1971 - New York,: Springer Verlag.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  • (1 other version)The formulæ-as-types notion of construction.W. A. Howard - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  • Relativized realizability in intuitionistic arithmetic of all finite types.Nicolas D. Goodman - 1978 - Journal of Symbolic Logic 43 (1):23-44.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • A simplification of the Bachmann method for generating large countable ordinals.Jane Bridge - 1975 - Journal of Symbolic Logic 40 (2):171-185.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A Language and Axioms for Explicit Mathematics.Solomon Feferman, J. N. Crossley, Maurice Boffa, Dirk van Dalen & Kenneth Mcaloon - 1984 - Journal of Symbolic Logic 49 (1):308-311.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • (2 other versions)Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • The faithfulness of the interpretation of arithmetic in the theory of constructions.Nicolas D. Goodman - 1973 - Journal of Symbolic Logic 38 (3):453-459.
    Download  
     
    Export citation  
     
    Bookmark   6 citations