Chapter X. proof theory and decidability

, &
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 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1515/9781400887071-009

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Alan Ross Anderson, Nuel D. BelnapJr., and J. Michael Dunn. Entailment. The logic of relevance and necessity. Volume II. Princeton University Press, Princeton and Oxford1992, xxvii + 749 pp. [REVIEW]Larisa Maksimova - 1996 - Journal of Symbolic Logic 61 (1):338-341.
Entailment: The Logic of Relevance and Necessity, Vol. i By Alan Ross Anderson and Nuel D. Belnap Jr Princeton University Press, 1976, xxxii + 542 pp., £13.70. [REVIEW]P. T. Geach - 1977 - Philosophy 52 (202):493-.
Alan Ross Anderson and Nuel D. Belnap Jr. Entailment. The logic of relevance and necessity. Volume I. Princeton University Press, Princeton and London1976 , xxxii + 542 pp. [REVIEW]Gordon Matthews - 1977 - Journal of Symbolic Logic 42 (2):311-313.
Relevant predication: Grammatical characterisations. [REVIEW]Philip Kremer - 1989 - Journal of Philosophical Logic 18 (4):349 - 382.
Announcements.[author unknown] - 1973 - Review of Metaphysics 27 (2):446-447.
Anderson Alan Ross and Belnap Nuel D. Jr., Enthymemes. The journal of philosophy, vol. 58 , pp. 713–723.Nicholas Rescher - 1962 - Journal of Symbolic Logic 27 (1):115-116.
Review: Alan Ross Anderson, Nuel D. Belnap, Tautological Entailments. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (4):608-608.
Alan Ross Anderson, Nuel D. BelnapJr., and John R. Wallace. Independent axiom schemata for the pure theory of entailment. Zeitschrift für mathemutische Logik und Grundlagen der Mathematik, vol. 6 , pp. 93–95. [REVIEW]Donald Paul Snyder - 1973 - Journal of Symbolic Logic 38 (2):327-328.
Allen, RT, The Education of Autonomous Man, Aldershot, Avebury, 1992, vi, 82,£ 22.50 (cloth). Anderson, AR Belnap, ND and Dunn, JM, Entailment: The Logic of Relevance and Necessity Vol II, Princeton, Princeton University Press, 1992, xxvii, 749, US $75.00 (cloth). [REVIEW]A. Beckermann, H. Flohr, J. Kim & S. Benhabib - 1993 - Australasian Journal of Philosophy 71 (2).
ANDERSON, A. R. & BELNAP, N. D., "Entailment: The Logic of Relevance and Necessity". [REVIEW]Richard Routley - 1980 - Australasian Journal of Philosophy 58:405.

Analytics

Added to PP
2017-07-08

Downloads
24 (#908,485)

6 months
3 (#1,470,822)

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