Sobre los meta teoremas de deducción y el concepto de "implicación lógica"
Resumen
En este artículo se dan condiciones necesarias y suficientes para una forma generalizada del metateorema de deducción y se lo aplica a varios sistemas lógicos usándolo como un criterio para determinar la existencia de una implicación interna a tales sistemas.
Descargas
El artículo aún no registra descargas.
Cómo citar
Cifuentes Vásquez, J. (1990). Sobre los meta teoremas de deducción y el concepto de "implicación lógica". Areté, 2(1), 31-48. https://doi.org/10.18800/arete.199001.002
Derechos de autor 2016 Areté
Esta obra está bajo licencia internacional Creative Commons Reconocimiento 4.0.
