Skip to main content
SpringerLink
Log in

“Four-Valued” Semantics for the Relevant Logic R

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

Abstract

This paper sets out two semantics for the relevant logic R based on Dunn's four-valued semantics for first-degree entailments. Unlike Routley's semantics for weak relevant logics, they do not use two ternary accessibility relations. Unlike Restall's semantics, they capture all of R. But there is a catch. Both of the present semantics are neighbourhood semantics, that is, they include sets of propositions in the specification of their frames.

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

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

    Google Scholar 

  • Anderson, A. R., Belnap, N. D. and Dunn, J. M. (1992) Entailment: The Logic of Relevance and Necessity, Vol. 2, Princeton University Press, Princeton.

    Google Scholar 

  • Belnap, N. D. (1977a) How a computer should think, in G. Ryle (ed.), Contemporary Aspects of Philosophy, Oriel Press, Stockfield, pp. 30-55.

    Google Scholar 

  • Belnap, N. D. (1977b) A useful four-valued logic, in J. M. Dunn and G. Epstein (eds.), Modern Uses of Many-Valued Logic, Reidel, Dordrecht, pp. 8-37.

    Google Scholar 

  • Dunn, J. M. (1966) The algebra of intensional logics, University of Pittsburgh Doctoral Dissertation, Pittsburgh.

  • Dunn, J. M. (1969) Natural language versus formal language, Presented at the joint symposium of the American Philosophical Association and the Association of Symbolic Logic, New York, 27 December 1969, Unpublished.

  • Dunn, J. M. (1976) Intuitive semantics for first-degree entailment and ‘coupled trees’,' Philosophical Studies 29, 149-168.

    Google Scholar 

  • Dunn, J. M. (1986) Relevance logic and entailment, in D. Gabbay and F. Guenther (eds.), Handbook of Philosophical Logic, Vol. 3, Reidel, Dordrecht, pp. 117-229.

    Google Scholar 

  • Mares, E. D. (1995) A star-free semantics for R, J. Symbolic Logic 60, 579-590.

    Google Scholar 

  • Restall, G. (1995) Four-valued semantics for relevant logics (and some of their rivals), J. Philos. Logic 24, 139-160.

    Google Scholar 

  • Routley, R. (1984) The American plan completed: Alternative, classical-style semantics, without stars, for relevant and paraconsistent logics, Studia Logica 43, 327-376.

    Google Scholar 

  • Routley, R. and Meyer, R. K. (1973) The semantics of entailment, in H. Leblanc (ed.), Truth, Syntax and Modality, North-Holland, Amsterdam.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philosophy Victoria University of Wellington, P.O. Box 600, Wellington, New Zealand

    Edwin D. Mares

Authors
  1. Edwin D. Mares
    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

Mares, E.D. “Four-Valued” Semantics for the Relevant Logic R. Journal of Philosophical Logic 33, 327–341 (2004). https://doi.org/10.1023/B:LOGI.0000031375.18295.30

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:LOGI.0000031375.18295.30

Search

Navigation