La Fórmula de Barcan es equivalente al Teorema de Deducción. ARETE. 1992;4(2):323-335. doi:10.18800/arete.199202.001