A consecutive calculus for positive relevant implication with necessity

, &
Journal of Philosophical Logic 9 (4):343-362 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00262861

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

Correction: A Consecutive Calculus for Positive Relevant Implication with Necessity.[author unknown] - 1981 - Journal of Philosophical Logic 10 (2):291-291.
Review: J. Michael Dunn, Anil Gupta, Truth or Consequences, Essays in Honor of Nuel Belnap. [REVIEW]Gerhard Schurz - 1996 - Journal of Symbolic Logic 61 (2):691-693.
Truth or consequences, Essays in honor of Nuel Belnap, edited by J. Michael Dunn and Anil Gupta, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, xii + 378 pp. [REVIEW]Gerhard Schurz - 1996 - Journal of Symbolic Logic 61 (2):691-693.
Truth or Consequences: Essays in Honor of Nuel Belnap Michael Dunn and Anil Gupta, eds. Dordrecht, Holland: Kluwer Academic Publishers, 1990, 378 pp. US$115. [REVIEW]Charles B. Daniels - 1993 - Dialogue 32 (4):812-.
Book Review: Anil Gupta and Nuel Belnap. The Revision Theory of Truth. [REVIEW]Robert C. Koons - 1994 - Notre Dame Journal of Formal Logic 35 (4):606-631.
Anil Gupta and Nuel Belnap, The Revision Theory of Truth. [REVIEW]Philip Kremer - 1995 - Philosophy in Review 15 (1):39-42.
Anil Gupta and Nuel Belnap. The revision theory of truth. Bradford books. The MIT Press, Cambridge, Mass., and London, 1993, xii + 299 pp. [REVIEW]Michael Sheard - 1995 - Journal of Symbolic Logic 60 (4):1314-1316.
Relevant predication: Grammatical characterisations. [REVIEW]Philip Kremer - 1989 - Journal of Philosophical Logic 18 (4):349 - 382.
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.
The Revision Theory of Truth.A. Gupta & N. D. Belnap - 1993 - MIT Press.

Analytics

Added to PP
2009-01-28

Downloads
72 (#222,831)

6 months
8 (#506,022)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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

Citations of this work

Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Four relevant Gentzen systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.

View all 6 citations / Add more citations

References found in this work

A new classical relevance logic.Garrel Pottinger - 1979 - Journal of Philosophical Logic 8 (1):135 - 147.

Add more references