Reports on Mathematical Logic

No. 44

Takahiro SEKI

Completeness of Relevant Modal Logics with Disjunctive Rules

A b s t r a c t. Disjunctive rules are known to validate material implication principles, which may not hold in weaker relevant logics. On the other hand, they prevent the oddity of not preserving truth at the base world, from which many weaker relevant logics suffer. The same holds for relevant modal logics. This paper proves completeness of relevant modal logics with disjunctive rules.

Back to Main Menu