Chapter XI. functions, arithmetic, and other special topics

, &
In J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity. Princeton University Press. pp. 392-487 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1515/9781400887071-010

Links

PhilArchive



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

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

Special symbols.J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson - 2017 - In J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity. Princeton University Press. pp. 747-749.
Chapter IX. semantics.J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson - 2017 - In J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity. Princeton University Press. pp. 142-266.
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
Chapter XII. Applications and discussion.J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson - 2017 - In J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity. Princeton University Press. pp. 488-564.
Chapter VII. Individual quantification.J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson - 2017 - In J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity. Princeton University Press. pp. 70-128.
Chapter X. proof theory and decidability.J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson - 2017 - In J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity. Princeton University Press. pp. 267-391.
Chapter VIII. Ackermann's strenge implikation.J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson - 2017 - In J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity. Princeton University Press. pp. 129-141.
Chapter VI. the theory of entailment.J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson - 2017 - In J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity. Princeton University Press. pp. 1-69.
Relevant Robinson's arithmetic.J. Michael Dunn - 1979 - Studia Logica 38 (4):407 - 418.
Polynomially Bounded Recursive Realizability.Saeed Salehi - 2005 - Notre Dame Journal of Formal Logic 46 (4):407-417.
Review: Alan Ross Anderson, Nuel D. Belnap, A Simple Treatment of Truth Functions. [REVIEW]William T. Parry - 1963 - Journal of Symbolic Logic 28 (4):291-291.
Admissible closures of polynomial time computable arithmetic.Dieter Probst & Thomas Strahm - 2011 - Archive for Mathematical Logic 50 (5):643-660.
Elementary realizability.Zlatan Damnjanovic - 1997 - Journal of Philosophical Logic 26 (3):311-339.
A note on sharply bounded arithmetic.Jan Johannsen - 1994 - Archive for Mathematical Logic 33 (2):159-165.
Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.

Analytics

Added to PP
2017-07-08

Downloads
17 (#868,989)

6 months
4 (#790,347)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Jon Michael Dunn
PhD: University of Pittsburgh; Last affiliation: Indiana University, Bloomington
Nuel Belnap
University of Pittsburgh

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references