Journal of Philosophical Logic 32 (5):483-529 (2003)
AbstractThis 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
Similar books and articles
The Logical Structure of Linguistic Commitment II: Systems of Relevant Commitment Entailment. [REVIEW]Mark Lance & Philip Kremer - 1996 - Journal of Philosophical Logic 25 (4):425 - 449.
A Routley-Meyer Semantics for Relevant Logics Including TWR Plus the Disjunctive Syllogism.Gemma Robles & José M. Méndez - 2011 - Logic Journal of the IGPL 19 (1):18-32.
Entailment and Bivalence.Fred Seymour Michael - 2002 - Journal of Philosophical Logic 31 (4):289-300.
Failure of Interpolation in Relevant Logics.Alasdair Urquhart - 1993 - Journal of Philosophical Logic 22 (5):449 - 479.
Alternative Semantics for Quantified First Degree Relevant Logic.Richard Routley - 1979 - Studia Logica 38 (2):211 - 231.
Completeness Theorems for Two Propositional Logics in Which Identity Diverges From Mutual Entailment.Philip Hugly & Charles Sayward - 1981 - Notre Dame Journal of Formal Logic 22 (3):269-282.
Nonmonotonic Probabilistic Reasoning Under Variable-Strength Inheritance with Overriding.Thomas Lukasiewicz - 2005 - Synthese 146 (1-2):153 - 169.
Added to PP
Historical graph of downloads
Citations of this work
Tracking Reasons with Extensions of Relevant Logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.
Informational Semantics as a Third Alternative?Patrick Allo & Edwin Mares - 2011 - Erkenntnis 77 (2):167-185.
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.
References found in this work
Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview.
An Essay in Classical Modal Logic.Krister Segerberg - 1971 - Uppsala, Sweden: Uppsala, Filosofiska Föreningen Och Filosofiska Institutionen Vid Uppsala Universitet.
Advice on Modal Logic.D. Scott - 1970 - In K. Lambert (ed.), Philosophical Problems in Logic: Some Recent Developments. D. Reidel. pp. 143--173.