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

DOI10.1007/S11225-012-9459-YzbMath1282.03013OpenAlexW2009065992MaRDI 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 logicrelevant modal algebramaterial detachmentdisjunctive syllogismAckermann's \(\gamma \)-rulejoin-syllogistic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (2)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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 γ

This page was built for publication: An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics