Bridging the Two Plans in the Semantics for Relevant Logic

DOI10.1007/978-3-030-31136-0_13zbMath1469.03058OpenAlexW2998549773MaRDI QIDQ3305616

Takuro Onishi

Publication date: 10 August 2020

Published in: New Essays on Belnap-Dunn Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2433/267727

zbMATH Keywords

relevant logicfirst-degree entailmentnegation as modalityRoutley starAmerican planAustralian plan

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)

Cites Work

• Logic reduced to bare (proof-theoretical) bones
• Understanding negation implicationally in the relevant logic R
• On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
• The semantics of entailment. II
• 40 years of FDE: an introductory overview
• There is more to negation than modality
• Handbook of philosophical logic. Vol. 6
• Intuitive semantics for first-degree entailments and `coupled trees'
• ``Four-valued semantics for the relevant logic R
• The Semantics of First Degree Entailment
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Bridging the Two Plans in the Semantics for Relevant Logic