scientific article
From MaRDI portal
Publication:3632245
zbMath1170.03011MaRDI QIDQ3632245
Publication date: 23 June 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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