-
469The Relevant Logic E and Some Close Neighbours: A ReinterpretationIfCoLog Journal of Logics and Their Applications 4 (3): 695--730. 2017.This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference. Second, it uses this interpretation, together with Anderson and Belnap’s natural deduc- tion system for E, to generalise E to a range of other systems of strict relevant implication. Routley–Meyer ternary relation semantics for these systems are produced and completeness theorems are proven.
Taipei, Taiwan
Areas of Specialization
16 more
Areas of Interest
16 more
PhilPapers Editorships
Revision Theory of Truth |
Proof Theory |