Four-valued semantics for relevant logics (and some of their rivals)

DOI10.1007/BF01048529zbMath0815.03014OpenAlexW2094047210MaRDI QIDQ1346215

Greg Restall

Publication date: 22 March 1995

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

Full work available at URL: https://doi.org/10.1007/bf01048529

zbMATH Keywords

four-valued semanticsrelevant logicssimplified semantics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (9)

``Four-valued semantics for the relevant logic R ⋮ Relevant restricted quantification ⋮ Four-valued paradefinite logics ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Two Negations Are More than One ⋮ The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility ⋮ Negation on the Australian plan ⋮ Notes on stratified semantics

Cites Work

• Unnamed Item
• Simplified semantics for relevant logics (and some of their rivals)
• Simplified semantics for basic relevant logics
• The logic of paradox
• Intuitive semantics for first-degree entailments and `coupled trees'

This page was built for publication: Four-valued semantics for relevant logics (and some of their rivals)