Return to search

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.

Identiferoai:union.ndltd.org:PUCP/oai:tesis.pucp.edu.pe:123456789/112862
Date09 April 2018
CreatorsCifuentes Vásquez, José Carlos
PublisherPontificia Universidad Católica del Perú - Departamento de Humanidades
Source SetsPontificia Universidad Católica del Perú
LanguageEspañol
Detected LanguageSpanish
TypeArtículo
FormatPDF
SourceAreté; Vol. 2, Núm. 1 (1990); 31-48
RightsArtículo en acceso abierto, Attribution 4.0 International, https://creativecommons.org/licenses/by/4.0/

Page generated in 0.0015 seconds