Skip to main content
Springer Nature Link
Log in

Display logic

  • 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

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Instant access to the full article PDF.

Institutional subscriptions

References

  • Anderson, A. R. and Belnap, N. D. Jr., ‘Modalities in Ackermann's “rigorous implication”,’ Journal of Symbolic Logic 24 (1959), 107–111.

    Google Scholar 

  • Anderson, A. R. and Belnap, N. D. Jr., Entailment, Princeton University Press, Princeton, N.J., 1975.

    Google Scholar 

  • Bacon, John B., ‘Being and existence: two ways of formal ontology’, Ph. D. thesis, Yale University, New Haven, 1966.

  • Belnap, N. D. Jr. and Dunn, J. M., ‘Entailment and the disjunctive syllogism’, In Contemporary Philosophy. A New Survey, Martinus Nijhoff, The Hague, Boston, London, 1981, pp. 337–366.

    Google Scholar 

  • Belnap, Nuel D. Jr., Gupta, Anil, and Dunn, J. Michael, ‘A consecution calculus for positive relevant implication with necessity’, Journal of Philosophical Logic 9 (1980), 343–362.

    Google Scholar 

  • Curry, H. B., Foundations of Mathematical Logic, McGraw-Hill, New York, 1963.

    Google Scholar 

  • Curry, Haskell B. and Feys, Robert, Combinatory Logic, North-Holland, Amsterdam, 1958.

    Google Scholar 

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

    Google Scholar 

  • Dunn, J. Michael, ‘Consecution formulation of positive R with cotenability and t', Sect. 28.5 of Entailment, vol. 1, by A. R. Anderson and N. D. Belnap, Jr.

  • Dunn, J. Michael, ‘Intuitive semantics for first-degree entailments and “coupled trees”’, Philosophical Studies 29 (1976), 149–168.

    Google Scholar 

  • Fine, K, ‘Failures of the interpolation theorem in quantified modal logic’, Journal of Symbolic Logic 44 (1979), 201–205.

    Google Scholar 

  • Fitch, Frederick, Symbolic Logic, The Ronald Press, New York, 1952.

    Google Scholar 

  • Gentzen, Gerhard, ‘Untersuchungen über das Logische Schliessen’, Mathematische Zeitschrift 39 (1934), 176–210, 405–431. English translation by M. E. Szabo [‘Investigations into logical deduction’] in The Collected Papers of Gerhard Gentzen, M. E. Szabo (ed.), North-Holland, Amsterdam, pp. 68–131.

    Google Scholar 

  • Hacking, Ian, ‘What is logic?’ The Journal of Philosophy 76 (1979), 285–318.

    Google Scholar 

  • Hughes, G. E. and Cresswell, M. J., An Introduction to Modal Logic, Methuen, London 1968.

    Google Scholar 

  • Kripke, Saul A, ‘Semantical analysis of modal logic II’, in the Theory of Models, Henkin, L. and Tarski, A. (eds.), North-Holland, Amsterdam, 1965.

    Google Scholar 

  • Lemmon, F. J., ‘New foundations for Lewis modal systems’, Journal of Symbolic Logic 22 (1957), 176–186.

    Google Scholar 

  • McRobbie, M. A., ‘A proof theoretic investigation of relevant and modal logics’, Ph. D. Thesis, Australion National University, 1979.

  • McRobbie, M. A. and Belnap, N. D. Jr., ‘Relevant analytic tableaux’, Studia Logica 38 (1979), 187–200.

    Google Scholar 

  • Meyer, Robert K., A Boolean valued semantics for R', typescript, Australian National University, 1976.

  • Meyer, Robert K., ‘A general Gentzen system for implicational calculi’, The Relevance Logic Newsletter 1 (1976), 189–201.

    Google Scholar 

  • Meyer, Robert K. and Routley, Richard, ‘Algebraic analysis of entailment (I)’, Logique et analyse, n.s. 15 (1972), 407–428.

    Google Scholar 

  • Meyer, Robert K. and Routley, Richard, ‘Classical relevant logics’, Studia Logica 32 (1973), 51–66.

    Google Scholar 

  • Meyer, Robert K. and Routley, Richard, ‘Classical relevant logics II’, Studia Logica 33 (1974), 183–194.

    Google Scholar 

  • Minć, G. E. ‘Teorema ob u cstranimosti secenia dla relevanthyh logik’, in Issledovania po konst ruktivnoj matematike i matematiceskoj logike V, J. V. Matijasevic and O. A. Sisenko, (eds.), Izdatel 'stvo ‘Nauka’, 1972, pp. 90–97. English translation: ‘Cut-elimination theorem in relevant logics’, Journal of Soviet Mathematics 6 (1976), 422–428.

    Google Scholar 

  • Ohnishi, M. and Matsumoto, K., ‘A system for strict implication’, Proceedings of the Symposium on the Foundations of Mathematics, Katadu, Japan, 1962, pp. 98–108.

  • Prior, A. N., Formal Logic, Oxford University Press, Oxford, 1955.

    Google Scholar 

  • Saarinen, Esa, ‘Backwards-Looking operators in tense logic and in natural language’, in Essays on Mathematical and Philosophical Logic, J.Hintikka, I.Niniluoto, and E.Saarinen (eds.), D. Reidel, Dordrecht, Holland, 1978, pp. 341–367.

    Google Scholar 

  • Sato, M., ‘A cut-free Gentzen-type system for the modal logic S5’, Journal of Symbolic Logic 45 (1980), 67–84.

    Google Scholar 

  • Zeman, J. Jay, Modal Logic: The Lewis-Modal Systems, Oxford University Press, Oxford, 1973.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Pittsburgh, Pittsburgh, USA

    Nuel D. Belnap Jr.

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

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Belnap, N.D. Display logic. J Philos Logic 11, 375–417 (1982). https://doi.org/10.1007/BF00284976

Download citation

  • Issue Date:

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