Skip to main content
SpringerLink
Log in

A consecutive calculus for positive relevant implication with necessity

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Anderson, A. R. and Belnap, N. D. Jr., Entailment, Vol. I, Princeton University Press, 1975.

  2. Charlwood, Gerald W., Representations of Semilattice Relevance Logic, University of Toronto Ph.D. dissertation, 1978.

  3. Curry, H. B., Foundations of Mathematical Logic, McGraw-Hill, 1963.

  4. Dunn, J. Michael, ‘Consecution formulation of positive R with cotenability and t‘, Section 28.5 of [1].

  5. DunnJ. Michael, (Abstract) ‘A “Gentzen System” for positive relevant implication’, Journal of Symbolic Logic 38 (1973), 356–357.

    Google Scholar 

  6. FineKit, ‘Completeness for the semilattice semantics with disjunction and conjunction’ [abstract], Journal of Symbolic Logic 41 (1976), 560.

    Google Scholar 

  7. MincG. E., ‘Téoréma ob ustranimosti séčénia dlá relevantnyh logik’, Isslédovanià po konstruktivnoj matematiké i matematićeskoj logike V, J. V.Matijasevic and O. A.Slisenko (eds.), Leningrad (Izdatel'stvo ‘Nauka’) (1972), pp. 90–97. English translation (‘Cut-elimination theorem in relevant logics’) in The Journal of Soviet Mathematics 6 (1976), 422–428.

    Google Scholar 

  8. PottingerG., ‘A new classical relevance logic’. Journal of Philosophical Logic 8 (1969), 135–147.

    Google Scholar 

  9. Prawitz, Dag., Natural deduction. Almqvist & Wiksell, 1965.

  10. UrquhartAlisdair, ‘Semantics for relevance logics’, Journal of Symbolic Logic 37 (1972) 159–169.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Pittsburgh, Pittsburgh, USA

    Nuel D. Belnap Jr., Anil Gupta & J. Michael Dunn

  2. Indiana University, USA

    Nuel D. Belnap Jr., Anil Gupta & J. Michael Dunn

  3. McGill University, Montreal, Canada

    Nuel D. Belnap Jr., Anil Gupta & J. Michael Dunn

  4. Indiana University, USA

    Nuel D. Belnap Jr., Anil Gupta & J. Michael Dunn

Authors
  1. Nuel D. Belnap Jr.
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anil Gupta
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J. Michael Dunn
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Thanks are due the University of California at Irvine, where these results were finally put together during a visit of NDB; and to the National Science Foundation for partial support of NDB and AG via Grant No. 33708 and JMD via Grant No. 2648. Also JMD would like to take this opportunity to express belated thanks to R. H. Thomason for helpful discussions regarding the results of [4, 5]. The form of publication of [4, 5] (section of book, abstract) prevented felicitous acknowledgement until now.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Belnap, N.D., Gupta, A. & Dunn, J.M. A consecutive calculus for positive relevant implication with necessity. J Philos Logic 9, 343–362 (1980). https://doi.org/10.1007/BF00262861

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00262861

Keywords

Search

Navigation