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

• Autores: José Carlos Cifuentes Vásquez
• Localización: Areté: revista de filosofía, ISSN 1016-913X, Vol. 2, Nº. 1, 1990, págs. 31-48
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• 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.