On the consistency proofs

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,856

External links

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

Through your library

Analytics

Added to PP
2014-01-26

Downloads
29 (#399,645)

6 months
1 (#386,040)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references

Citations of this work

No citations found.

Add more citations

Similar books and articles

Consistency Proof Via Pointwise Induction.Toshiyasu Arai - 1998 - Archive for Mathematical Logic 37 (3):149-165.
On the Philosophical Significance of Consistency Proofs.Michael D. Resnik - 1974 - Journal of Philosophical Logic 3 (1/2):133 - 147.
Propositional Proof Systems and Fast Consistency Provers.Joost J. Joosten - 2007 - Notre Dame Journal of Formal Logic 48 (3):381-398.
Mathematical Significance of Consistency Proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (2):155-182.
A Simple Proof That Super-Consistency Implies Cut Elimination.Gilles Dowek & Olivier Hermant - 2012 - Notre Dame Journal of Formal Logic 53 (4):439-456.