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

Areté. Revista de Filosofía 2 (1):31-48 (1990)
  Copy   BIBTEX

Abstract

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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,060

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Intuicionismo.Dick De Jongh - 2006 - Azafea: Revista de Filosofia 8 (1).
Lógica y argumentación.Alfonso Monsalve - 1990 - Estudios de Filosofía (Universidad de Antioquia) 2:9-23.
Sobre el Análisis.Axel Barceló - 2019 - Mexico City, CDMX, Mexico: Instituto de Investigaciones Filosóficas, UNAM.
Sobre un sistema paraconsistente.Oscar Masaveu - 1997 - Areté. Revista de Filosofía 9 (2):253-269.

Analytics

Added to PP
2013-10-28

Downloads
46 (#374,826)

6 months
25 (#154,501)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

.José Jivaldo Lima - 2016 - Axioma - Publicações da Faculdade de Filosofia.

Add more references