Back to Search Start Over

Relevant Robinson's arithmetic

Authors :
J. Michael Dunn
Source :
Studia Logica. 38:407-418
Publication Year :
1979
Publisher :
Springer Science and Business Media LLC, 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.

Details

ISSN :
15728730 and 00393215
Volume :
38
Database :
OpenAIRE
Journal :
Studia Logica
Accession number :
edsair.doi...........7f5f80390c5c93fbd65cb8b2485be569
Full Text :
https://doi.org/10.1007/bf00370478