Proof theory and intuitionistic systems

New York,: Springer Verlag (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2014

Call number

QA9.L28 no. 212

ISBN(s)

354005541X

DOI

10.2307/2272920
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.
Absoluteness of intuitionistic logic.Daniel Maurice Raphaël Leivant - 1975 - Amsterdam: Mathematisch Centrum.
Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.
Extensional Gödel functional interpretation.Horst Luckhardt - 1973 - New York,: Springer Verlag.
Intuitionism and proof theory.A. Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - Amsterdam,: North-Holland Pub. Co..
Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.
Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.

Analytics

Added to PP
2009-01-28

Downloads
7 (#1,378,468)

6 months
5 (#626,991)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof-theoretical analysis: weak systems of functions and classes.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):1-121.

Add more citations

References found in this work

No references found.

Add more references