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

Descripción del Articulo

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.
Detalles Bibliográficos
Autor: Cifuentes Vásquez, José Carlos
Formato: artículo
Fecha de Publicación:1990
Institución:Pontificia Universidad Católica del Perú
Repositorio:Revistas - Pontificia Universidad Católica del Perú
Lenguaje:español
OAI Identifier:oai:ojs.pkp.sfu.ca:article/4996
Enlace del recurso:http://revistas.pucp.edu.pe/index.php/arete/article/view/4996
Nivel de acceso:acceso abierto
id REVPUCP_73a6840e902c162c94aebdf39c471d23
oai_identifier_str oai:ojs.pkp.sfu.ca:article/4996
network_acronym_str REVPUCP
network_name_str Revistas - Pontificia Universidad Católica del Perú
repository_id_str
spelling Sobre los meta teoremas de deducción y el concepto de "implicación lógica"Cifuentes Vásquez, José CarlosEn 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.Pontificia Universidad Católica del Perú - Departamento de Humanidades1990-12-15info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://revistas.pucp.edu.pe/index.php/arete/article/view/4996Areté; Vol. 2 Núm. 1 (1990); 31-482223-37411016-913Xreponame:Revistas - Pontificia Universidad Católica del Perúinstname:Pontificia Universidad Católica del Perúinstacron:PUCPspahttp://revistas.pucp.edu.pe/index.php/arete/article/view/4996/4992Derechos de autor 2016 Aretéinfo:eu-repo/semantics/openAccessoai:ojs.pkp.sfu.ca:article/49962020-09-02T17:51:45Z
dc.title.none.fl_str_mv Sobre los meta teoremas de deducción y el concepto de "implicación lógica"
title Sobre los meta teoremas de deducción y el concepto de "implicación lógica"
spellingShingle Sobre los meta teoremas de deducción y el concepto de "implicación lógica"
Cifuentes Vásquez, José Carlos
title_short Sobre los meta teoremas de deducción y el concepto de "implicación lógica"
title_full Sobre los meta teoremas de deducción y el concepto de "implicación lógica"
title_fullStr Sobre los meta teoremas de deducción y el concepto de "implicación lógica"
title_full_unstemmed Sobre los meta teoremas de deducción y el concepto de "implicación lógica"
title_sort Sobre los meta teoremas de deducción y el concepto de "implicación lógica"
dc.creator.none.fl_str_mv Cifuentes Vásquez, José Carlos
author Cifuentes Vásquez, José Carlos
author_facet Cifuentes Vásquez, José Carlos
author_role author
description 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.
publishDate 1990
dc.date.none.fl_str_mv 1990-12-15
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://revistas.pucp.edu.pe/index.php/arete/article/view/4996
url http://revistas.pucp.edu.pe/index.php/arete/article/view/4996
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv http://revistas.pucp.edu.pe/index.php/arete/article/view/4996/4992
dc.rights.none.fl_str_mv Derechos de autor 2016 Areté
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Derechos de autor 2016 Areté
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Pontificia Universidad Católica del Perú - Departamento de Humanidades
publisher.none.fl_str_mv Pontificia Universidad Católica del Perú - Departamento de Humanidades
dc.source.none.fl_str_mv Areté; Vol. 2 Núm. 1 (1990); 31-48
2223-3741
1016-913X
reponame:Revistas - Pontificia Universidad Católica del Perú
instname:Pontificia Universidad Católica del Perú
instacron:PUCP
instname_str Pontificia Universidad Católica del Perú
instacron_str PUCP
institution PUCP
reponame_str Revistas - Pontificia Universidad Católica del Perú
collection Revistas - Pontificia Universidad Católica del Perú
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1841536072233779200
score 13.952411
Sobre los meta teoremas de deducción y el concepto de "implicación lógica"
Nota importante:
La información contenida en este registro es de entera responsabilidad de la institución que gestiona el repositorio institucional donde esta contenido este documento o set de datos. El CONCYTEC no se hace responsable por los contenidos (publicaciones y/o datos) accesibles a través del Repositorio Nacional Digital de Ciencia, Tecnología e Innovación de Acceso Abierto (ALICIA).

Ejemplares Similares