×
Dunn, J. Michael

Relevant Robinson’s arithmetic. (English) Zbl 0434.03018

Stud. Log. 38, 407-418 (1979).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0434.03018

Cited in 5 Documents

MSC:

03B45 Modal logic (including the logic of norms)

Keywords:

Robinson’s arithmetic; relevant logic; relevant Peano arithmetic
Cite Review PDF
Full Text: DOI

References:

[1] A. R. Andberson, Completeness Theorems for the system E of Entailment and EQ of entailment with quantification, Zeitschrift f?r mathematische Logik und Grundlagen der Mathematik 6 (1960), pp. 201-216. · Zbl 0095.00801 · doi:10.1002/malq.19600060709
[2] A. R. Anderson and N. D. Belnap, Jr., Entailment, vol. 1, Princeton University Press, Princeton, 1975.
[3] G. S. Boolos and R. C. Jeffrey, Computability and Logic, Cambridge University Press, London, 1974.
[4] H. B. Curry, Foundations of Mathematical Logic, McGraw-Hill, New York, 1963. · Zbl 0163.24209
[5] J. M. Dunn, Algebraic completeness results for R-mingle and its extensions, The Journal of Symbolic Logic 35 (1970), pp. 1-13. · Zbl 0231.02024 · doi:10.2307/2271149
[6] J. M. Dunn, A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic, forthcoming in Studia Logica 38 (1979), pp. 149-169. · Zbl 0406.03030 · doi:10.1007/BF00370439
[7] R. K. Meyer, Relevant arithmetic, Bulletin of the Section of Logic, Institute of Philosophy and Sociology, Polish Academy of Sciences 5 (1976), pp. 133-137, an abstract of two unpublished manuscripts ?Arithmetic formulated relevantlyrd, and ?The consistency of arithmetic.?
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.