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: | Article |
| Language: | Spanish |
| Published: |
Pontificia Universidad Católica del Perú
1990-12-01
|
| Series: | Areté |
| Online Access: | http://revistas.pucp.edu.pe/index.php/arete/article/view/4996 |