Show simple item record

Ferro y los procedimientos decisorios de la lógica

dc.contributor.authorRosales Papa, Diógeneses_ES
dc.date.accessioned2018-04-09T23:00:36Z
dc.date.available2018-04-09T23:00:36Z
dc.date.issued1995es_ES
dc.identifier.urihttp://revistas.pucp.edu.pe/index.php/arete/article/view/5170/5162
dc.description.abstractEl 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.es_ES
dc.description.sponsorshipPontificia Universidad Católica del Perú. Departamento de Humanidades
dc.formatapplication/pdf
dc.language.isospa
dc.publisherPontificia Universidad Católica del Perú. Fondo Editoriales_ES
dc.relation.ispartofurn:issn:2223-3741
dc.relation.ispartofurn:issn:1016-913X
dc.rightsinfo:eu-repo/semantics/openAccesses_ES
dc.rights.urihttp://creativecommons.org/licenses/by/4.0*
dc.sourceAreté; Vol. 7, Núm. 2 (1995)es_ES
dc.subjectFilosofíaes_ES
dc.subjectLógicaes_ES
dc.titleFerro y los procedimientos decisorios de la lógicaes_ES
dc.typeinfo:eu-repo/semantics/article
dc.type.otherArtículo
dc.subject.ocdehttps://purl.org/pe-repo/ocde/ford#6.03.01
dc.publisher.countryPE
dc.identifier.doihttps://doi.org/10.18800/arete.199502.003


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

info:eu-repo/semantics/openAccess
Except where otherwise noted, this item's license is described as info:eu-repo/semantics/openAccess