The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models

DOI10.1007/S11225-011-9306-6zbMath1233.03031OpenAlexW1978598199MaRDI QIDQ633158

Takahiro Seki

Publication date: 31 March 2011

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-011-9306-6

zbMATH Keywords

modal logicrelevant logicRoutley-Meyer semanticsnormal modelSahlqvist axiomadmissibility of Ackermann's rule

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 (3)

Some metacomplete relevant modal logics ⋮ An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics ⋮ The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations

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
• A metacompleteness theorem for contraction-free relevant logics
• Where gamma fails
• The admissibility of \(\gamma\) in R4
• The semantics of entailment. III
• A Sahlqvist theorem for relevant modal logics
• Begründung einer strengen Implikation
• Classically complete modal relevant logics
• E, R AND γ

This page was built for publication: The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models