See his essay in vol. III of his Collected Works, pp. 189-201. He remarks that although excluded middle doesn't hold for intuitionistic disjunction, it does hold intuitionistically if (p v q) is DEFINED in terms of intuitionistic negation and conjunction as ~(~p & ~q). Martin