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: 91,122

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

“Barriers to implication”.Peter B. M. Vranas - unknown
Relevant predication: Grammatical characterisations. [REVIEW]Philip Kremer - 1989 - Journal of Philosophical Logic 18 (4):349 - 382.
Substructural implicational logics including the relevant logic E.Ryo Kashima & Norihiro Kamide - 1999 - Studia Logica 63 (2):181-212.
A set of axioms for the propositional calculus with implication and converse non-implication.Anjan Shukla - 1965 - Notre Dame Journal of Formal Logic 6 (2):123-128.
Defining relevant implication in a propositionally quantified S.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (4):1057-1069.
Relevant and substructural logics.Greg Restall - unknown
Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.
Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.
Introduction of implication and generalization in axiomatic calculi.Jean-Yves Beziau - manuscript

Analytics

Added to PP
2009-01-28

Downloads
71 (#219,529)

6 months
2 (#1,015,942)

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