``Four-valued semantics for the relevant logic R

DOI10.1023/B:LOGI.0000031375.18295.30MaRDI QIDQ1876086zbMATH OpenOpenAlexFDO

Authors Edwin D. Mares

Publication date 16 August 2004

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/b:logi.0000031375.18295.30

zbMATH Keywords

modal logicrelevant logicneighbourhood semanticsfour-valued semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Four-valued semantics for relevant logics (and some of their rivals)
• A four-valued semantics for terminological logics
• Relational semantics for the 4-valued relevant logics BN4 and E4
• On four-valued regular logics
• A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4
• A 4-valued framework encompassing intuitionistic and classical logic
• Four-valued semantics for abstract argumentation frameworks using (extensions of) Dunn-Belnap four-valued logic
• Relational semantics for the paraconsistent and paracomplete 4-valued logic PŁ4
• Four-valued modal logic: Kripke semantics and duality

Cites work

• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• A star-free semantics for R
• Four-valued semantics for relevant logics (and some of their rivals)
• Intuitive semantics for first-degree entailments and `coupled trees'
• TRANSIENT SOLUTION OF A ONE-DIMENSIONAL THERMOELASTIC WAVE PROPAGATION PROBLEM
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics

Cited in

(23)

• A ``reply to my ``critics
• Bridging the two plans in the semantics for relevant logic
• A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4
• Relational semantics for the 4-valued relevant logics BN4 and E4
• The relevance of relevance to relevance logic
• A four-valued semantics for terminological logics
• Neighbourhood semantics for modal relevant logics
• scientific article; zbMATH DE number 2209893 (Why is no real title available?)
• Human rationality challenges universal logic
• Concrete possible worlds and counterfactual conditionals: Lewis versus Williamson on modal knowledge
• scientific article; zbMATH DE number 5872210 (Why is no real title available?)
• A 4-valued framework encompassing intuitionistic and classical logic
• Notes on stratified semantics
• Deep fried logic
• Relevant entailment—semantics and formal systems
• A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
• The semantics of \(R4\)
• Four-valued semantics for relevant logics (and some of their rivals)
• R and relevance principle revisited
• Two, three, four, infinity: the path to the four-valued logic and beyond
• An empirical study of the 4-valued Kripke--Kleene and 4-valued well-founded semantics in random propositional logic programs
• Real analysis in paraconsistent logic
• (Star-based) four-valued Kripke-style semantics for some neighbors of E, R, T

This page was built for publication: ``Four-valued semantics for the relevant logic R

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1876086)