La Fórmula de Barcan es equivalente al Teorema de Deducción. (1992). Areté, 4(2), 323-335. https://doi.org/10.18800/arete.199202.001