Back to Search
Start Over
Relevant Robinson's arithmetic
- 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