The admissibility of \(\gamma\) in R4
From MaRDI portal
Publication:1203779
DOI10.1305/ndjfl/1093636096zbMath0767.03011OpenAlexW1969421328MaRDI 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 logicadmissibilitymetavaluationsnecessity operatorconservative extension of \(S4\)relevance logic \(R4\)rule of material detachment
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (8)
QUANTIFIED MODAL RELEVANT LOGICS ⋮ Classically complete 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 ⋮ METAVALUATIONS ⋮ The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models ⋮ The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations
This page was built for publication: The admissibility of \(\gamma\) in R4
