An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics

DOI10.1007/s11225-012-9459-yzbMath1282.03013MaRDI QIDQ1935555

Takahiro Seki

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

zbMATH Keywords

relevant modal logic; relevant modal algebra; material detachment; disjunctive syllogism; Ackermann's \(\gamma \)-rule; join-syllogistic

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

Related Items

Some metacomplete relevant modal logics, Neighbourhood semantics for modal relevant logics

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