Henryk Hiz Extendible Sentential Calculus. 193-202 1959 24 J. Symb. Log. 3 db/journals/jsyml/jsyml24.html#Hiz59