Sobre los meta teoremas de deducción y el concepto de implicación lógica
Acceso a Texto completo
Fuente
Areté; Vol. 2, Núm. 1 (1990)Abstract
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.