Valpola V. Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik. Math. Scand. [Internet]. 1955 Dec. 1 [cited 2025 Mar. 9];3:107-14. Available from: https://www.mscand.dk/article/view/10431