CIFUENTES VÁSQUEZ, José Carlos. La Fórmula de Barcan es equivalente al Teorema de Deducción. Areté, [S. l.], v. 4, n. 2, p. 323–335, 1992. DOI: 10.18800/arete.199202.001. Disponível em: https://revistas.pucp.edu.pe/index.php/arete/article/view/7418. Acesso em: 28 dic. 2025.