Abstract

This paper lays out a program for analysing relevance constructively. It begins with a summary of results concerning the system C of Pottinger [197a] which has entailment, relevant implication, S4 strict implication, and intuitionist implication among its connectives. A full working out of the motivation for C will require formal analysis of informal concepts derived from the usual explanation of the meanings of the constants of intuitionist propositional logic. Formal machinery which should be adequate for the proof theoretic side of the analysis of the nonmodal part of C is described in detail, and the direction in which semantical results are to be sought is indicated.