Ferro y los procedimientos decisorios de la lógica

Descripción del Articulo

El artículo es un esbozo general de los procedimientos decisorios parafórmulas monádicas de primer grado tratados por Juan Bautista Ferro. Seinicia con una breve semblanza de Ferro. Luego trata el problema de ladecisión, y presenta los procedimientos decisorios de Quine (QS, QL y QM),Georg H. Von Wr...

Descripción completa

Detalles Bibliográficos
Autor: Rosales Papa, Diógenes
Formato: artículo
Fecha de Publicación:1995
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/5170
Enlace del recurso:http://revistas.pucp.edu.pe/index.php/arete/article/view/5170
Nivel de acceso:acceso abierto
id REVPUCP_8ff42ce73534f31e71f38cc61f91d672
oai_identifier_str oai:ojs.pkp.sfu.ca:article/5170
network_acronym_str REVPUCP
network_name_str Revistas - Pontificia Universidad Católica del Perú
repository_id_str
spelling Ferro y los procedimientos decisorios de la lógicaRosales Papa, DiógenesEl artículo es un esbozo general de los procedimientos decisorios parafórmulas monádicas de primer grado tratados por Juan Bautista Ferro. Seinicia con una breve semblanza de Ferro. Luego trata el problema de ladecisión, y presenta los procedimientos decisorios de Quine (QS, QL y QM),Georg H. Von Wright (VW), Bernays Schonfinkel (BS), S.C. Kleene y elprocedimiento decisorio Ferro Herbrand (FH). Cada uno de estos métodos muestra el esfuerzo por reducir la lógica cuan ti ficacional monádica de primer orden a la lógica proposicional; en este sentido, el método FH opera con mayores ventajas sobre los otros métodos.Pontificia Universidad Católica del Perú - Departamento de Humanidades1995-07-30info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://revistas.pucp.edu.pe/index.php/arete/article/view/5170Areté; Vol. 7 Núm. 2 (1995); 227-2432223-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/5170/5162Derechos de autor 2016 Aretéinfo:eu-repo/semantics/openAccessoai:ojs.pkp.sfu.ca:article/51702020-09-02T17:46:31Z
dc.title.none.fl_str_mv Ferro y los procedimientos decisorios de la lógica
title Ferro y los procedimientos decisorios de la lógica
spellingShingle Ferro y los procedimientos decisorios de la lógica
Rosales Papa, Diógenes
title_short Ferro y los procedimientos decisorios de la lógica
title_full Ferro y los procedimientos decisorios de la lógica
title_fullStr Ferro y los procedimientos decisorios de la lógica
title_full_unstemmed Ferro y los procedimientos decisorios de la lógica
title_sort Ferro y los procedimientos decisorios de la lógica
dc.creator.none.fl_str_mv Rosales Papa, Diógenes
author Rosales Papa, Diógenes
author_facet Rosales Papa, Diógenes
author_role author
description El artículo es un esbozo general de los procedimientos decisorios parafórmulas monádicas de primer grado tratados por Juan Bautista Ferro. Seinicia con una breve semblanza de Ferro. Luego trata el problema de ladecisión, y presenta los procedimientos decisorios de Quine (QS, QL y QM),Georg H. Von Wright (VW), Bernays Schonfinkel (BS), S.C. Kleene y elprocedimiento decisorio Ferro Herbrand (FH). Cada uno de estos métodos muestra el esfuerzo por reducir la lógica cuan ti ficacional monádica de primer orden a la lógica proposicional; en este sentido, el método FH opera con mayores ventajas sobre los otros métodos.
publishDate 1995
dc.date.none.fl_str_mv 1995-07-30
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/5170
url http://revistas.pucp.edu.pe/index.php/arete/article/view/5170
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/5170/5162
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. 7 Núm. 2 (1995); 227-243
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_ 1845975162840678400
score 13.02468
Ferro y los procedimientos decisorios de la 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