Journal of Symbolic Logic 21 (4):402-403 (1956)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2268417 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,091
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- cambridge.org (no proxy)
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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
Axiomatizing Belnap's Conditional Assertion.J. Michael Dunn - 1975 - Journal of Philosophical Logic 4 (4):383 - 397.
Alternative Semantics for Quantified First Degree Relevant Logic.Richard Routley - 1979 - Studia Logica 38 (2):211 - 231.
Similar books and articles
On the Correspondence Between Arithmetic Theories and Propositional Proof Systems - a Survey.Olaf Beyersdorff - 2009 - Mathematical Logic Quarterly 55 (2):116-137.
Maximum Schemes in Arithmetic.A. Fernández-Margarit & M. J. Pérez-Jiménez - 1994 - Mathematical Logic Quarterly 40 (3):425-430.
Review: Gaisi Takeuti, Mariko Yasugi, The Ordinals of the Systems of Second Order Arithmetic with the Provably $Triangle^12$-Comprehension Axiom and with the $Triangle^12$- Comprehension Axiom Respectively. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):877-878.
The Strength of Nonstandard Methods in Arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
Self-Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles.Dan Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.
How to Extend the Semantic Tableaux and Cut-Free Versions of the Second Incompleteness Theorem Almost to Robinson's Arithmetic Q.Dan E. Willard - 2002 - Journal of Symbolic Logic 67 (1):465-496.
Review: Hao Wang, Remarks on the Comparison of Axiom Systems. [REVIEW]Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (2):142-143.
Review: Moh Shaw-Kwei, Some Axiom Systems for Propositional Calculus. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-183.
Review: Hao Wang, Arithmetic Models for Formal Systems. [REVIEW]Solomon Feferman - 1955 - Journal of Symbolic Logic 20 (1):76-77.
The Development of Arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
Analytics
Added to PP index
2013-11-22
Total views
8 ( #1,006,385 of 2,506,369 )
Recent downloads (6 months)
1 ( #416,997 of 2,506,369 )
2013-11-22
Total views
8 ( #1,006,385 of 2,506,369 )
Recent downloads (6 months)
1 ( #416,997 of 2,506,369 )
How can I increase my downloads?
Downloads
