Skip to main content
SpringerLink
Log in

The semantics ofR4

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

Abstract

The LogicR4 is obtained by adding the axiom ▭(A vB→(◊Av▭B) to the modal relevant logicNR. We produce a model theory for this logic and show completeness. We also show that there is a natural embedding of a Kripke model forS4 in eachR4 model structure.

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

Similar content being viewed by others

References

  • A. R. Anderson and N. D. Belnap Jr. (1975)Entailment: The Logic of Relevance and Necessity, volume 1, Princeton: Princeton University Press.

    Google Scholar 

  • Kit Fine (1974) “Models for Entailment”,Journal of Philosophical Logic 3, pp. 347–372.

    Google Scholar 

  • Kit Fine (1988) “Semantics for Quantified Relevance Logic”,Journal of Philosophical Logic 17, pp. 27–59.

    Google Scholar 

  • E. D. Mares and R. K. Meyer (199?) “The Admissibility of γ inR4”,Notre Dame Journal of Formal Logic, forthcoming.

  • R. K. Meyer (1968) “Entailment and Relevant Implication”,Logique et Analyse, No. 44, pp. 472–9.

    Google Scholar 

  • R. K. Meyer and E. D. Mares (1990) “The Semantics of Entailment 0”, to appear inProceedings of the Tübingen Conference on Logics with Reduced Structural Rules.

  • R. Routley and R. K. Meyer (1972) “The Semantics of Entailment II”,Journal of Philosophical Logic 1, pp. 53–73.

    Google Scholar 

  • R. Routley and R. K. Meyer (1973) “The Semantics of Entialment (I)”, in H. Leblanc (ed.),Truth, Syntax, and Modality, Amsterdam: North Holland.

    Google Scholar 

  • R. Routley, R. K. Meyer, R. T. Brady, and V. Plumwood (1982)Relevant Logics and Their Rivals, Atascadero: Ridgeview.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Automated Reasoning Project, The Research School of Social Sciences, The Australian National University, GPO Box 4, 2601, Canberra, ACT, Australia

    Edwin D. Mares & Robert K. Meyer

Authors
  1. Edwin D. Mares
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Robert K. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

We are indebted to several people for discussions relating to the topic of this paper, in particular, Kit Fine, John Slaney, J. M. Dunn, Jacques Riche, M. A. McRobbie, and Jill LeBlanc. We would also like to thank the Automated Reasoning Project for material assistance. Mares would like to thank The Social Sciences and Humanities Research Council of Canada for fellowships 456-89-0128 and 457-90-0081, which supported him while writing this paper.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Mares, E.D., Meyer, R.K. The semantics ofR4 . J Philos Logic 22, 95–110 (1993). https://doi.org/10.1007/BF01049182

Download citation

  • Issue Date:

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

Keywords

Search

Navigation