Sobre los meta teoremas de deducción y el concepto de implicación lógica

Description

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.

Links & Downloads

1. http://repositorio.pucp.edu.pe/index/handle/123456789/112862
2. http://revistas.pucp.edu.pe/index.php/arete/article/view/4996/4992

Tags

Filosofía

Lógica

Additional Fields

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	PDF
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/