Four-valued semantics for relevant logics (and some of their rivals)
\textit{G. Priest} and \textit{R. Sylvan} [ibid. 21, No. 2, 217-232 (1992; Zbl 0782.03008)] and the author [ibid. 22, No. 5, 481-511 (1993; Zbl 0782.03009)] provided simplified semantics for most standard relevant logics. The semantics employ mainly the Routley \(*\) operator to model negation. This paper explores the possibility of using a four-valued semantics (true, false, both and neither) instead. Three approaches are pursued. The first provides a simplified four-valued semantics for most relevant logics, but does so by mimicking the \(*\) semantics. The second and third avoid this by giving conditionals non-arbitrary falsity conditions. The second gives semantics for only a few relevant logics, notably C (RW). The third gives semantics for none of the standard relevant logics, but for a whole new family of such logics which, characteristically, validate the schema \((\alpha\to \beta)\to((\alpha\to \perp)\vee\neg(\alpha\to \neg\beta))\). Completeness proofs for this new family remain an open problem.
- A four-valued semantics for terminological logics
- Four-valued logic
- Pecularities of some three- and four-valued second order logics
- Four-valued paradefinite logics
- ``Four-valued semantics for the relevant logic R
- An empirical study of the 4-valued Kripke--Kleene and 4-valued well-founded semantics in random propositional logic programs
- Negation on the Australian plan
- Notes on stratified semantics
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Relational semantics for the 4-valued relevant logics BN4 and E4
- scientific article; zbMATH DE number 5872210 (Why is no real title available?)
- Two negations are more than one
- A 4-valued framework encompassing intuitionistic and classical logic
- A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4
- A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
- Algebraic Kripke-style semantics for relevance logics
- A star-free semantics for R
- On the expressive power of three-valued and four-valued languages
- scientific article; zbMATH DE number 7503168 (Why is no real title available?)
- (Star-based) four-valued Kripke-style semantics for some neighbors of E, R, T
- A modification of Frege's and Dunn's semantics for propositional logics
- The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility
- Indicative conditionals in awareness framework
- Deep fried logic
- Relevant restricted quantification
- Motivation and demotivation of a four-valued logic
This page was built for publication: Four-valued semantics for relevant logics (and some of their rivals)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1346215)
