What is Relevant Implication?

  • Alasdair Urquhart
Part of the Reason and Argument book series (REAR, volume 1)

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.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1989

Authors and Affiliations

  • Alasdair Urquhart

There are no affiliations available

Personalised recommendations