Sobre los meta teoremas de deducción y el concepto de "implicación lógica"
Descripción del Articulo
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: | |
|---|---|
| Formato: | artículo |
| Fecha de Publicación: | 1990 |
| Institución: | Pontificia Universidad Católica del Perú |
| Repositorio: | Revistas - Pontificia Universidad Católica del Perú |
| Lenguaje: | español |
| OAI Identifier: | oai:ojs.pkp.sfu.ca:article/4996 |
| Enlace del recurso: | http://revistas.pucp.edu.pe/index.php/arete/article/view/4996 |
| Nivel de acceso: | acceso abierto |
| 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. |
|---|
Nota importante:
La información contenida en este registro es de entera responsabilidad de la institución que gestiona el repositorio institucional donde esta contenido este documento o set de datos. El CONCYTEC no se hace responsable por los contenidos (publicaciones y/o datos) accesibles a través del Repositorio Nacional Digital de Ciencia, Tecnología e Innovación de Acceso Abierto (ALICIA).
La información contenida en este registro es de entera responsabilidad de la institución que gestiona el repositorio institucional donde esta contenido este documento o set de datos. El CONCYTEC no se hace responsable por los contenidos (publicaciones y/o datos) accesibles a través del Repositorio Nacional Digital de Ciencia, Tecnología e Innovación de Acceso Abierto (ALICIA).
