Completeness of relevant modal logics with disjunctive rules

MaRDI QIDQ3632245zbMATH OpenFDO

Authors Takahiro Seki

Publication date 23 June 2009

zbMATH Keywords

disjuctive rulesrelevant modal logicRoutley-Meyer semantics

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

• A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
• Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules
• Classically complete modal relevant logics
• scientific article; zbMATH DE number 2149468
• A metacompleteness theorem for contraction-free relevant logics

Cited in

(9)

• A metacompleteness theorem for contraction-free relevant logics
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• An incompleteness theorem for modal relevant logics
• Halldén completeness for relevant modal logics
• Neighbourhood semantics for modal relevant logics
• Disjunction in modal description logics
• scientific article; zbMATH DE number 6108197 (Why is no real title available?)
• 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: Completeness of relevant modal logics with disjunctive rules

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