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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
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.
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.
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.
Similar books and articles
Review: G. Kreisel, Hao Wang, Some Applications of Formalized Consistency Proofs. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):404-405.
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.
Hilbert's Programme and Gödel's Theorems.Matthias Schirn Karl‐Georg Niebergall - 2002 - Dialectica 56 (4):347-370.
Strategic Maneuvering in Mathematical Proofs.Erik C. W. Krabbe - 2008 - Argumentation 22 (3):453-468.
Propositional Proof Systems and Fast Consistency Provers.Joost J. Joosten - 2007 - Notre Dame Journal of Formal Logic 48 (3):381-398.
Counter-Example Construction with Euler Diagrams.Ryo Takemura - 2015 - Studia Logica 103 (4):669-696.
Mathematical Significance of Consistency Proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (2):155-182.
Hilbert's 'Verunglückter Beweis', the First Epsilon Theorem, and Consistency Proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.
Review: G. Kreisel, Mathematical Significance of Consistency Proofs. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):129-129.
Some Consistency Proofs and a Characterization of Inconsistency Proofs in Illative Combinatory Logic.M. W. Bunder - 1987 - Journal of Symbolic Logic 52 (1):89-110.
Truth Definitions and Consistency Proofs.Hao Wang - 1957 - Journal of Symbolic Logic 22 (4):365-367.
The Independence of the Parallel Postulate and Development of Rigorous Consistency Proofs.David J. Stump - 2007 - History and Philosophy of Logic 28 (1):19-30.
Review: Hao Wang, Truth Definitions and Consistency Proofs. [REVIEW]Richard Montague - 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 )
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
