The -admissibility of relevant modal logics. II: The method using metavaluations

DOI10.1007/S11225-011-9315-5MaRDI QIDQ539157zbMATH OpenOpenAlexFDO

Authors Takahiro Seki

Publication date 27 May 2011

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-011-9315-5

zbMATH Keywords

\(\gamma \)-admissibilitymetavaluationrelevant modal logicSahlqvist axiom

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)

Recommendations

• The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• Some admissible rules in nonnormal modal systems
• Some metacomplete relevant modal logics
• Cut and gamma. I: Propositional and constant domain \textbf{R}

Cites work

• A metacompleteness theorem for contraction-free relevant logics
• A Sahlqvist theorem for relevant modal logics
• Classically complete modal relevant logics
• Completeness of relevant modal logics with disjunctive rules
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• Some metacomplete relevant modal logics
• The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
• The admissibility of \(\gamma\) in R4
• The semantics of entailment. III

Cited in

(6)

• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• Neighbourhood semantics for modal relevant logics
• Some metacomplete relevant modal logics
• Metavaluations
• The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
• -admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting

This page was built for publication: The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q539157)