David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 32 (5):483-529 (2003)
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Patrick Allo & Edwin Mares (2012). Informational Semantics as a Third Alternative? Erkenntnis 77 (2):167-185.
Similar books and articles
Mark Lance & Philip Kremer (1996). The Logical Structure of Linguistic Commitment II: Systems of Relevant Commitment Entailment. [REVIEW] Journal of Philosophical Logic 25 (4):425 - 449.
Thomas Lukasiewicz (2005). Nonmonotonic Probabilistic Reasoning Under Variable-Strength Inheritance with Overriding. Synthese 146 (1-2):153 - 169.
Philip Hugly & Charles Sayward (1981). Completeness Theorems for Two Propositional Logics in Which Identity Diverges From Mutual Entailment. Notre Dame Journal of Formal Logic 22 (3):269-282.
Richard Routley (1979). Alternative Semantics for Quantified First Degree Relevant Logic. Studia Logica 38 (2):211 - 231.
Alasdair Urquhart (1993). Failure of Interpolation in Relevant Logics. Journal of Philosophical Logic 22 (5):449 - 479.
Fred Seymour Michael (2002). Entailment and Bivalence. Journal of Philosophical Logic 31 (4):289-300.
Lou Goble (2007). Combinatory Logic and the Semantics of Substructural Logics. Studia Logica 85 (2):171 - 197.
Gemma Robles & José M. Méndez (2011). A Routley-Meyer Semantics for Relevant Logics Including TWR Plus the Disjunctive Syllogism. Logic Journal of the Igpl 19 (1):18-32.
Robert Goldblatt & Michael Kane (2010). An Admissible Semantics for Propositionally Quantified Relevant Logics. Journal of Philosophical Logic 39 (1):73 - 100.
Added to index2009-01-28
Total downloads20 ( #88,927 of 1,100,084 )
Recent downloads (6 months)10 ( #24,087 of 1,100,084 )
How can I increase my downloads?