Cifuentes Vásquez, José Carlos2018-04-092018-04-091990http://revistas.pucp.edu.pe/index.php/arete/article/view/4996/4992En 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.application/pdfspainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0FilosofíaLógicainfo:eu-repo/semantics/articlehttps://purl.org/pe-repo/ocde/ford#6.03.01https://doi.org/10.18800/arete.199001.002