Some metacomplete relevant modal logics

DOI10.1007/S11225-012-9433-8MaRDI QIDQ383574zbMATH OpenOpenAlexFDO

Authors Takahiro Seki

Publication date 5 December 2013

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-012-9433-8

zbMATH Keywords

consistencyadmissibility of \(\gamma\)metacompletenessprimenessrelevant modal logic

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

• Classically complete modal relevant logics
• Metacompleteness of substructural logics
• scientific article; zbMATH DE number 2149468
• A metacompleteness theorem for contraction-free relevant logics
• Mostly Meyer modal models

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 6965723 (Why is no real title available?)
• A Sahlqvist theorem for relevant modal logics
• A metacompleteness theorem for contraction-free relevant logics
• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• Disjunction and existence under implication in elementary intuitionistic formalisms
• Metacompleteness
• The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
• The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations

Cited in

(10)

• Extending metacompleteness to systems with classical formulae
• A metacompleteness theorem for contraction-free relevant logics
• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• Neighbourhood semantics for modal relevant logics
• Metavaluations
• scientific article; zbMATH DE number 2149468 (Why is no real title available?)
• An incompleteness theorem for modal relevant logics
• Mostly Meyer modal models
• 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

This page was built for publication: Some metacomplete relevant modal logics

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