Relevant arithmetic

Bulletin of the Section of Logic 5 (4):133-135 (1976)
  Copy   BIBTEX

Abstract

This is a republication of R.K. Meyer's "Relevant Arithmetic", which originally appeared in the Bulletin of the Section of Logic 5. It sets out the problems that Meyer was to work on for the next decade concerning his system, R#.

Categories

Keywords

Reprint years

2021

Links

PhilArchive



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

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

Relevant Robinson's arithmetic.J. Michael Dunn - 1979 - Studia Logica 38 (4):407 - 418.
⊃E is Admissible in “true” relevant arithmetic.Robert K. Meyer - 1998 - Journal of Philosophical Logic 27 (4):327-351.
⊃E is Admissible in “true” relevant arithmetic.Robert K. Meyer - 1998 - Journal of Philosophical Logic 27 (4):327 - 351.
Whither relevant arithmetic?Harvey Friedman & Robert K. Meyer - 1992 - Journal of Symbolic Logic 57 (3):824-831.
“Strenge” arithmetics.Robert K. Meyer & Greg Restall - unknown
Conservative Extension in Relevant Arithmetic.Robert K. Meyer & Igor Urbas - 1986 - Mathematical Logic Quarterly 32 (1‐5):45-50.
Technical Report TR-ARP-2-96.John K. Slaney, Robert K. Meyer & Greg Restall - unknown
Fallacies of Division.Robert K. Meyer - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:71-80.
Models of arithmetic and upper Bounds for arithmetic sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.
Counting and arithmetic principles first.Rochel Gelman - 2008 - Behavioral and Brain Sciences 31 (6):653-654.
Classical arithmetic as part of intuitionistic arithmetic.Michael Potter - 1998 - Grazer Philosophische Studien 55 (1):127-41.
Equivalence of F with a sub-theory of peano arithmetic.Andrew Boucher - manuscript
Mathematics for humans: Kant's philosophy of arithmetic revisited.Robert Hanna - 2002 - European Journal of Philosophy 10 (3):328–352.
In defense of epistemic arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.
General arithmetic.Andrew Boucher - manuscript

Analytics

Added to PP
2014-02-19

Downloads
87 (#185,988)

6 months
12 (#157,869)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Assertion, denial and non-classical theories.Greg Restall - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 81--99.
Logic of paradox revisited.Graham Priest - 1984 - Journal of Philosophical Logic 13 (2):153 - 179.
Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2008 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 257--276.

View all 20 citations / Add more citations

References found in this work

A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.

Add more references