David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 24 (2):139 - 160 (1995)
This paper gives an outline of three different approaches to the four-valued semantics for relevant logics (and other non-classical logics in their vicinity). The first approach borrows from the 'Australian Plan' semantics, which uses a unary operator '⋆' for the evaluation of negation. This approach can model anything that the two-valued account can, but at the cost of relying on insights from the Australian Plan. The second approach is natural, well motivated, independent of the Australian Plan, and it provides a semantics for the contraction-free relevant logic C (or RW). Unfortunately, its approach seems to model little else. The third approach seems to capture a wide range of formal systems, but at the time of writing, lacks a completeness proof
|Keywords||No keywords specified (fix it)|
|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
Eunsuk Yang (2014). Algebraic Kripke-Style Semantics for Relevance Logics. Journal of Philosophical Logic 43 (4):803-826.
Similar books and articles
Richard Routley (1984). The American Plan Completed: Alternative Classical-Style Semantics, Without Stars, for Relevant and Paraconsistent Logics. Studia Logica 43 (1-2):131 - 158.
Edwin D. Mares (2004). “Four-Valued” Semantics for the Relevant Logic R. Journal of Philosophical Logic 33 (3):327-341.
A. S. Karpenko (1983). Factor Semantics Forn-Valued Logics. Studia Logica 42 (2-3):179 - 185.
Ross T. Brady (1989). A Routley-Meyer Affixing Style Semantics for Logics Containing Aristotle's Thesis. Studia Logica 48 (2):235 - 241.
Vladimir L. Vasyukov (1993). The Completeness of the Factor Semantics for Łukasiewicz's Infinite-Valued Logics. Studia Logica 52 (1):143 - 167.
Greg Restall (1994). Subintuitionistic Logics. Notre Dame Journal of Formal Logic 35 (1):116-129.
Greg Restall (1993). Simplified Semantics for Relevant Logics (and Some of Their Rivals). Journal of Philosophical Logic 22 (5):481 - 511.
Added to index2009-01-28
Total downloads13 ( #119,298 of 1,098,834 )
Recent downloads (6 months)6 ( #43,265 of 1,098,834 )
How can I increase my downloads?