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 |