%0 Journal Article %J Notre Dame Journal of Formal Logic %D 1980 %T A completeness-proof method for extensions of the implicational fragment of the propositional calculus %A Batens, Diderik %B Notre Dame Journal of Formal Logic %V 21 %P 509–517 %G eng