The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations
From MaRDI portal
Publication:539157
DOI10.1007/s11225-011-9315-5zbMath1235.03053MaRDI QIDQ539157
Publication date: 27 May 2011
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-011-9315-5
03B45: Modal logic (including the logic of norms)
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
METAVALUATIONS, Some metacomplete relevant modal logics, The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models, An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics, Neighbourhood semantics for modal relevant logics
Cites Work
- Some metacomplete relevant modal logics
- The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
- A metacompleteness theorem for contraction-free relevant logics
- The admissibility of \(\gamma\) in R4
- The semantics of entailment. III
- A Sahlqvist theorem for relevant modal logics
- Classically complete modal relevant logics
- Unnamed Item
- Unnamed Item