An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
From MaRDI portal
Publication:1935555
DOI10.1007/s11225-012-9459-yzbMath1282.03013MaRDI QIDQ1935555
Publication date: 18 February 2013
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-012-9459-y
relevant modal logic; relevant modal algebra; material detachment; disjunctive syllogism; Ackermann's \(\gamma \)-rule; join-syllogistic
03B45: Modal logic (including the logic of norms)
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Cites Work
- Some metacomplete relevant modal 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
- Residuated lattices. An algebraic glimpse at substructural logics
- A metacompleteness theorem for contraction-free relevant logics
- The admissibility of \(\gamma\) in R4
- The semantics of entailment. III
- A Sahlqvist theorem for relevant modal logics
- Structural Completeness in Substructural Logics
- Classically complete modal relevant logics
- E, R AND γ
- Unnamed Item
- Unnamed Item
- Unnamed Item