Some metacomplete relevant modal logics

DOI10.1007/s11225-012-9433-8zbMath1315.03031OpenAlexW1967238423MaRDI 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

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)

Related Items (5)

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

Cites Work

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

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