Neighborhoods for entailment

Journal of Philosophical Logic 32 (5):483-529 (2003)
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
Keywords entailment  implication  neighborhood semantics  relevance logic  substructural logic
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1025638012192
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 37,223
Through your library

References found in this work BETA

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

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
33 ( #200,677 of 2,309,256 )

Recent downloads (6 months)
1 ( #449,036 of 2,309,256 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature