Classically complete modal relevant logics
From MaRDI portal
Publication:4304127
DOI10.1002/malq.19930390119zbMath0804.03012OpenAlexW2107737957MaRDI 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
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
QUANTIFIED MODAL RELEVANT LOGICS, An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics, Non-Boolean classical relevant logics. II: Classicality through truth-constants, Neighbourhood semantics for modal relevant logics, The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models, Normal modal substructural logics with strong negation, The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations, Halldén completeness for relevant modal logics
Cites Work