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

No hay miniatura disponible

Fecha

1990

Título de la revista

ISSN de la revista

Título del volumen

Editor

Pontificia Universidad Católica del Perú. Fondo Editorial

Resumen

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.

Descripción

Palabras clave

Filosofía, Lógica

Citación

item.page.endorsement

item.page.review

item.page.supplemented

item.page.referenced

Licencia Creative Commons

Excepto se indique lo contrario, la licencia de este artículo se describe como info:eu-repo/semantics/openAccess