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.
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | Español |
| Published: |
Pontificia Universidad Católica del Perú - Departamento de Humanidades
2013
|
| Subjects: | |
| Online Access: | http://repositorio.pucp.edu.pe/index/handle/123456789/112862 http://revistas.pucp.edu.pe/index.php/arete/article/view/4996/4992 |