Valpola, V. 1955. Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik. MATHEMATICA SCANDINAVICA. 3, (Dec. 1955), 107–114. DOI:https://doi.org/10.7146/math.scand.a-10431.