La Fórmula de Barcan es equivalente al Teorema de Deducción
Descripción del Articulo
En esta nota discutimos una forma general del Teorema de Deducción (TD) para sistemas modales de primer orden, la cual permite derivar varias otras formulaciones del mismo que aparecen en la literatura, así como su relación con la Fórmula de Barcan.
| Autor: | |
|---|---|
| Formato: | artículo |
| Fecha de Publicación: | 1992 |
| Institución: | Pontificia Universidad Católica del Perú |
| Repositorio: | PUCP-Institucional |
| Lenguaje: | español |
| OAI Identifier: | oai:repositorio.pucp.edu.pe:20.500.14657/113264 |
| Enlace del recurso: | http://revistas.pucp.edu.pe/index.php/arete/article/view/7418/7640 https://doi.org/10.18800/arete.199202.001 |
| Nivel de acceso: | acceso abierto |
| Materia: | Philosophy https://purl.org/pe-repo/ocde/ford#6.03.01 |
| Sumario: | En esta nota discutimos una forma general del Teorema de Deducción (TD) para sistemas modales de primer orden, la cual permite derivar varias otras formulaciones del mismo que aparecen en la literatura, así como su relación con la Fórmula de Barcan. |
|---|
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).
