Arithmetic as a study of formal systems

Notre Dame Journal of Formal Logic 16 (4):449-464 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891880

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

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

Through your library

My notes

Similar books and articles

Finite reverse mathematics.Harvey Friedman - manuscript
Equivalence of F with a sub-theory of peano arithmetic.Andrew Boucher - manuscript
Systems for a foundation of arithmetic.Andrew Boucher - manuscript
A philosophical introduction to the foundations of elementary arithmetic.Andrew Boucher - manuscript
The strength of nonstandard methods in arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
A theorem on shortening the length of proof in formal systems of arithmetic.Robert A. di Paola - 1975 - Journal of Symbolic Logic 40 (3):398-400.
Indexed Natural Numbers in Mind: A Formal Model of the Basic Mature Number Competence. [REVIEW]Wojciech Krysztofiak - 2012 - Axiomathes 22 (4):433-456.
The tractatus system of arithmetic.Pasquale Frascolla - 1997 - Synthese 112 (3):353-378.
“Strenge” arithmetics.Robert K. Meyer & Greg Restall - unknown
On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation.Mojżesz Presburger & Dale Jabcquette - 1991 - History and Philosophy of Logic 12 (2):225-233.
On interpretations of bounded arithmetic and bounded set theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
Formal systems of dialogue rules.Erick C. W. Krabbe - 1984 - Synthese 58 (2):295 - 328.

Analytics

Added to PP
2010-08-24

Downloads
34 (#456,993)

6 months
2 (#1,263,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

From Curry to Haskell.Felice Cardone - 2020 - Philosophy and Technology 34 (1):57-74.
Curry’s Formalism as Structuralism.Jonathan P. Seldin - 2011 - Logica Universalis 5 (1):91-100.

Add more citations

References found in this work

No references found.

Add more references