Directions in Relevant Logic pp 167-174 | Cite as
What is Relevant Implication?
Chapter
Abstract
In the work of Anderson and Belnap on entailment logics relevance rather than modality emerged as the central concept (though modality is emphasized in one of Ackermann’s early papers). In the present paper I propose to investigate this concept through three closely connected analyses, one proof-theoretical, the other two semantical. On the strength of these analyses I defend a concept of relevant implication which is intuitionistic rather than classical (as in the work of Anderson, Belnap, Meyer, Dunn and others).
Keywords
Atomic Formula Connected Analysis Intuitionistic Logic Double Negation Natural Deduction
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
Copyright information
© Kluwer Academic Publishers 1989