La Fórmula de Barcan es equivalente al Teorema de Deducción. Areté, v. 4, n. 2, p. 323–335, 3 Sep.1992.