Sobre los meta teoremas de deducción y el concepto de implicación lógica
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.
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 1990 |
| País: | Perú |
| Institución: | Pontificia Universidad Católica del Perú |
| Repositorio: | PUCP-Institucional |
| Idioma: | español |
| OAI Identifier: | oai:repositorio.pucp.edu.pe:20.500.14657/112862 |
| Acceso en línea: | http://revistas.pucp.edu.pe/index.php/arete/article/view/4996/4992 https://doi.org/10.18800/arete.199001.002 |
| Access Level: | acceso abierto |
| Palabra clave: | Filosofía Lógica https://purl.org/pe-repo/ocde/ford#6.03.01 |
| Sumario: | 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. |
|---|