Valpola V. Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik. Math. Scand. 1955;3:107-114. doi:10.7146/math.scand.a-10431