VALPOLA, Veli. Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik. Mathematica Scandinavica, Berkeley, CA, United States, v. 3, p. 107–114, 1955. DOI: 10.7146/math.scand.a-10431. Disponível em: https://journals.msp.org/mscand/article/view/2892. Acesso em: 8 sep. 2026.