Some metacomplete relevant modal logics

DOI10.1007/s11225-012-9433-8zbMath1315.03031MaRDI QIDQ383574

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

consistency; admissibility of \(\gamma\); metacompleteness; primeness; relevant modal logic

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

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, An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics, An incompleteness theorem for modal relevant logics, Neighbourhood semantics for modal relevant logics

Cites Work

• Unnamed Item
• Unnamed Item
• 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
• A metacompleteness theorem for contraction-free relevant logics
• A Sahlqvist theorem for relevant modal logics
• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• Metacompleteness
• Disjunction and existence under implication in elementary intuitionistic formalisms