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...
| Autor: | |
|---|---|
| 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 |
| Sumario: | 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. |
|---|
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).
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).
