... (Curry and Feys, 1968; Stenlund, 1972; Anderson and Be]nap, 1975). In contrast, with the restriction we have the weaker system of pure rel- evant implication R- (Prawitz, 1965; Anderson and Bel- ... Relevance and Necessity, Volume L Princeton University Press, Princeton, New Jersey. Hank P. Barendregt. 1984. The Lambda Calcu- lus: its Syntaz and Semantics. North-Holland, Amsterdam, Holland. ... Dordrecht, Netherlands. Haskell B. Curry and Robert Feys. 1968. Com- binatory Logic, Volume L Studies in Logic and the Foundations of Mathematics. North- Holland, Amsterdam, Holland. Second print-...