Four-valued semantics for relevant logics (and some of their rivals)
From MaRDI portal
Publication:1346215
DOI10.1007/BF01048529zbMath0815.03014MaRDI QIDQ1346215
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
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility, Algebraic Kripke-style semantics for relevance logics, Relevant restricted quantification, Four-valued paradefinite logics, ``Four-valued semantics for the relevant logic R, Negation on the Australian plan, Notes on stratified semantics, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), Two Negations Are More than One
Cites Work