Neighborhoods for entailment

Journal of Philosophical Logic 32 (5):483-529 (2003)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,213

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
48 (#241,535)

6 months
1 (#414,449)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Tracking Reasons with Extensions of Relevant Logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.
Information Flow In Logics in the Vicinity of BB.Andrew Tedder - 2021 - Australasian Journal of Logic 18 (1):1-24.
Neighbourhood Semantics for Modal Relevant Logics.Nicholas Ferenz & Andrew Tedder - forthcoming - Journal of Philosophical Logic:1-37.
A Substructural Approach to Explicit Modal Logic.Shawn Standefer - forthcoming - Journal of Logic, Language and Information:1-30.

View all 6 citations / Add more citations

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
An Essay in Classical Modal Logic.Krister Segerberg - 1971 - Uppsala, Sweden: Uppsala, Filosofiska Föreningen Och Filosofiska Institutionen Vid Uppsala Universitet.
Pragmatics and Intensional Logic.Richard Montague - 1970 - Synthese 22 (1-2):68--94.

View all 8 references / Add more references