Publication:3632245
From MaRDI portal
zbMath1170.03011MaRDI QIDQ3632245
Publication date: 23 June 2009
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Neighbourhood semantics for modal relevant logics, 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, The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations, An incompleteness theorem for modal relevant logics, Halldén completeness for relevant modal logics