R. A. Bull The Implicational Fragment of Dummet's LC. 189-194 1962 27 J. Symb. Log. 2 db/journals/jsyml/jsyml27.html#Bull62