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
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 26,804
Through your library
References found in this work BETA
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

Monthly downloads

Added to index

2009-01-28

Total downloads

30 ( #169,281 of 2,158,954 )

Recent downloads (6 months)

1 ( #353,545 of 2,158,954 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums