2023-2 Modal Logic (Segment 3)
Q) How might one use relevant logic to interpret C. I. Lewis’ strict implication as relevant entailment where we have:
Give proofs of the wffs K and T in Lewis’s S1, i.e., prove:
1. L(p ⊃ q) : ⊃: Lp ⊃ Lq
2. Lp ⊃ p
'Logic > Relevance Logic' 카테고리의 다른 글
| Proofs (1) Routley-Meyer Semantics for Relevant Logic (0) | 2024.01.14 |
|---|