Classically complete modal relevant logics
From MaRDI portal
Publication:4304127
DOI10.1002/malq.19930390119zbMath0804.03012MaRDI QIDQ4304127
Publication date: 24 January 1995
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19930390119
03B45: Modal logic (including the logic of norms)
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
QUANTIFIED MODAL RELEVANT LOGICS, The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations, The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models, Normal modal substructural logics with strong negation, An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics, Halldén completeness for relevant modal logics, Neighbourhood semantics for modal relevant logics
Cites Work