Publication:3632245
From MaRDI portal
zbMath1170.03011MaRDI QIDQ3632245
Publication date: 23 June 2009
03B45: Modal logic (including the logic of norms)
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
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, Order-dual relational semantics for non-distributive propositional logics: a general framework, An incompleteness theorem for modal relevant logics, Halldén completeness for relevant modal logics, Neighbourhood semantics for modal relevant logics