Valpola, V. “Eine Eigenschaft gewöhnlicher Negationsloser Kalküle Der Propositionen- Und Prädikatenlogik”. MATHEMATICA SCANDINAVICA, vol. 3, Dec. 1955, pp. 107-14, doi:10.7146/math.scand.a-10431.