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.

Autor Principal: Cifuentes Vásquez, José Carlos
Formato: Artículo
Idioma: Español
Publicado: Pontificia Universidad Católica del Perú. Fondo editorial 2018
Materias:
Acceso en línea: http://repositorio.pucp.edu.pe/index/handle/123456789/112862
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Sumario: 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.