Journal of Symbolic Logic 21 (4):404-405 (1956)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2268419
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,979
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

On the Number of Steps in Proofs.Jan Kraj\mIček - 1989 - Annals of Pure and Applied Logic 41 (2):153-178.
Independent Axiomatizability of Sets of Sentences.Piotr Wojtylak - 1989 - Annals of Pure and Applied Logic 44 (3):259-299.
Generalizing Proofs in Monadic Languages.Matthias Baaz & Piotr Wojtylak - 2008 - Annals of Pure and Applied Logic 154 (2):71-138.

Add more citations

Similar books and articles

On the Philosophical Significance of Consistency Proofs.Michael D. Resnik - 1974 - Journal of Philosophical Logic 3 (1/2):133 - 147.
Propositional Consistency Proofs.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 52 (1-2):3-29.
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.
Truth Definitions and Consistency Proofs.Hao Wang - 1957 - Journal of Symbolic Logic 22 (4):365-367.
Consistency Proof Via Pointwise Induction.Toshiyasu Arai - 1998 - Archive for Mathematical Logic 37 (3):149-165.

Analytics

Added to PP index
2015-02-05

Total views
14 ( #731,548 of 2,504,866 )

Recent downloads (6 months)
2 ( #277,627 of 2,504,866 )

How can I increase my downloads?

Downloads

My notes