Graduate studies at Western
Studia Logica 38 (4):407 - 418 (1979)
|Abstract||In this paper two different formulations of Robinson's arithmetic based on relevant logic are examined. The formulation based on the natural numbers (including zero) is shown to collapse into classical Robinson's arithmetic, whereas the one based on the positive integers (excluding zero) is shown not to similarly collapse. Relations of these two formulations to R. K. Meyer's system R# of relevant Peano arithmetic are examined, and some remarks are made about the role of constant functions (e.g., multiplication by zero) in relevant arithmetic.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
C. Ward Henson, Matt Kaufmann & H. Jerome Keisler (1984). The Strength of Nonstandard Methods in Arithmetic. Journal of Symbolic Logic 49 (4):1039-1058.
Robert K. Meyer (1998). ÂE is Admissible in ÂTrueâ Relevant Arithmetic. Journal of Philosophical Logic 27 (4):327-351.
Robert K. Meyer (1998). ⊃E is Admissible in “True” Relevant Arithmetic. Journal of Philosophical Logic 27 (4):327 - 351.
J. Michael Dunn (1980). Quantum Mathematics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Leon Horsten (1998). In Defense of Epistemic Arithmetic. Synthese 116 (1):1-25.
Denis Richard (1985). Answer to a Problem Raised by J. Robinson: The Arithmetic of Positive or Negative Integers is Definable From Successor and Divisibility. Journal of Symbolic Logic 50 (4):927-935.
Harvey Friedman & Robert K. Meyer (1992). Whither Relevant Arithmetic? Journal of Symbolic Logic 57 (3):824-831.
Added to index2009-01-28
Total downloads4 ( #189,403 of 739,079 )
Recent downloads (6 months)1 ( #61,778 of 739,079 )
How can I increase my downloads?