The admissibility of \(\gamma\) in R4
From MaRDI portal
Publication:1203779
DOI10.1305/ndjfl/1093636096zbMath0767.03011MaRDI QIDQ1203779
Robert K. Meyer, Edwin D. Mares
Publication date: 22 February 1993
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093636096
modal logic; admissibility; metavaluations; necessity operator; conservative extension of \(S4\); relevance logic \(R4\); rule of material detachment
03B45: Modal logic (including the logic of norms)
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Classically complete modal relevant logics, METAVALUATIONS, QUANTIFIED MODAL RELEVANT LOGICS, 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, An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics, Neighbourhood semantics for modal relevant logics