Symposium: Why Are the Calculuses of Logic and Arithmetic Applicable to Reality?
Aristotelian Society Supplementary Volume 20:20 - 60 (1946)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesM. W. Bunder (1974). Propositional and Predicate Calculuses Based on Combinatory Logic. Notre Dame Journal of Formal Logic 15 (1):25-34.
Jørgen Jørgensen (1960). Some Remarks Concerning Languages, Calculuses, and Logic. Synthese 12 (4):338 - 349.
Laureano Luna & Alex Blum (2008). Arithmetic and Logic Incompleteness: The Link. The Reasoner 2 (3):6.
Alistair H. Lachlan & Robert I. Soare (1994). Models of Arithmetic and Upper Bounds for Arithmetic Sets. Journal of Symbolic Logic 59 (3):977-983.
C. Ward Henson, Matt Kaufmann & H. Jerome Keisler (1984). The Strength of Nonstandard Methods in Arithmetic. Journal of Symbolic Logic 49 (4):1039-1058.
J. Michael Dunn (1980). Quantum Mathematics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Richard Pettigrew (2009). On Interpretations of Bounded Arithmetic and Bounded Set Theory. Notre Dame Journal of Formal Logic 50 (2):141-152.
H. Jerome Keisler (2006). Nonstandard Arithmetic and Reverse Mathematics. Bulletin of Symbolic Logic 12 (1):100-125.
Alistair H. Lachlan & Robert I. Soare (1998). Models of Arithmetic and Subuniform Bounds for the Arithmetic Sets. Journal of Symbolic Logic 63 (1):59-72.
George Mills & Jeff Paris (1984). Regularity in Models of Arithmetic. Journal of Symbolic Logic 49 (1):272-280.
Nicolas D. Goodman (1984). Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic. Journal of Symbolic Logic 49 (1):192-203.
Mojżesz Presburger & Dale Jabcquette (1991). On the Completeness of a Certain System of Arithmetic of Whole Numbers in Which Addition Occurs as the Only Operation. History and Philosophy of Logic 12 (2):225-233.
Domenico Zambella (1996). Notes on Polynomially Bounded Arithmetic. Journal of Symbolic Logic 61 (3):942-966.
J. Michael Dunn (1979). Relevant Robinson's Arithmetic. Studia Logica 38 (4):407 - 418.
Analytics
Monthly downloads |
Added to index2011-05-29Total downloads6 ( #145,673 of 549,126 )Recent downloads (6 months)1 ( #63,361 of 549,126 )How can I increase my downloads? |
My notes
Discussion
