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.
Identifer | oai:union.ndltd.org:PUCP/oai:tesis.pucp.edu.pe:123456789/112862 |
Date | 09 April 2018 |
Creators | Cifuentes Vásquez, José Carlos |
Publisher | Pontificia Universidad Católica del Perú - Departamento de Humanidades |
Source Sets | Pontificia Universidad Católica del Perú |
Language | Español |
Detected Language | Spanish |
Type | Artículo |
Format | |
Source | Areté; Vol. 2, Núm. 1 (1990); 31-48 |
Rights | Artículo en acceso abierto, Attribution 4.0 International, https://creativecommons.org/licenses/by/4.0/ |
Page generated in 0.0015 seconds