Sobre los meta teoremas de deducción y el concepto de "implicación lógica"

José Carlos Cifuentes Vásquez

doi:10.18800/arete.199001.002

Sobre los meta teoremas de deducción y el concepto de "implicación lógica"

Autores/as

José Carlos Cifuentes Vásquez Pontificia Universidad Católica del Perú

DOI:

https://doi.org/10.18800/arete.199001.002

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

Los datos de descargas todavía no están disponibles.

Descargas

Publicado

1990-12-15

Cómo citar

Cifuentes Vásquez, J. C. (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