Valpola V. Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik. Math. Scand. [Internet]. 1955 Dec. 1 [cited 2026 Sep. 8];3:107-14. Available from: https://journals.msp.org/mscand/article/view/2892