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