Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik - Valpola, Veli (MATHEMATICA SCANDINAVICA, 1955)