Skip to main content
Log in

Neighborhoods for Entailment

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

Abstract

This paper presents a neighborhood semantics for logics of entailment. It begins with a minimal system Min that expresses the most fundamental assumptions about the entailment relation, and continues by examining various extensions that reflect further assumptions that might be made about entailment. This leads first to the logic B that is the basic relevant logic, and then to more powerful systems. All of these logics are proved to be sound and strongly complete. With B the neighborhood semantics meets the Routley–Meyer relational semantics for relevant logic; these connections are examined. The minimal and basic entailment logics are shown to have the finite model property, and hence to be decidable.

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

Access this article

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

  1. Anderson, A. R., Belnap, N. D., Jr., and Dunn, J. M.: Entailment: The Logic of Relevance and Entailment, Vol. II, Princeton University Press, Princeton, NJ, 1992.

    Google Scholar 

  2. Chellas, B.: Modal Logic, An Introduction, Cambridge University Press, Cambridge, 1980.

    Google Scholar 

  3. Meyer, R. K.: Metacompleteness, Notre Dame J.Formal Logic 17 (1976), 501–516.

    Google Scholar 

  4. Montague, R.: Pragmatics and intensional logic, Synthese 22 (1970), 68–94; reprinted in D. Davidson and G. Harmon (eds), Semantics of Natural Language, D. Reidel, Dordrecht, 1972, pp. 142-168.

    Google Scholar 

  5. Priest, G. and Sylvan, R.: Simplified semantics for basic relevant logics, J. Philos. Logic 21 (1992), 217–232.

    Google Scholar 

  6. Restall, G.: Simplified semantics for relevant logics (and some of their rivals), J. Philos. Logic bd22 (1993), 481–511.

    Google Scholar 

  7. Routley, R. and Meyer, R. K.: The semantics of entailment III, J. Philos. Logic 1 (1972), 192–208.

    Google Scholar 

  8. Routley, R., Meyer, R. K., Plumwood, V., and Brady, R.: Relevant Logics and their Rivals, Ridgeview Publishing Co., Atascadero, CA, 1982.

    Google Scholar 

  9. Scott, D.: Advice on modal logic, in K. Lambert (ed.), Philosophical Problems in Logic, D. Reidel, Dordrecht, 1970, pp. 143–173.

    Google Scholar 

  10. Segerberg, K.: An Essay in Classical Modal Logic, 3 vols., University of Uppsala, Uppsala, 1971.

    Google Scholar 

  11. Slaney, J.: Reduced models for relevant logics without WI, Notre Dame J. Formal Logic 28 (1987), 395–407.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Goble, L. Neighborhoods for Entailment. Journal of Philosophical Logic 32, 483–529 (2003). https://doi.org/10.1023/A:1025638012192

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1025638012192

Navigation