La Fórmula de Barcan es equivalente al Teorema de Deducción
Descripción del Articulo
In this note we discuss a general form of the Deduction Theorem (DT) for first order modal systems, which permits to derive severa! other formulations of DT found in the literature, and their relationship with the Barcan's Formula
| Autor: | |
|---|---|
| Formato: | artículo |
| Fecha de Publicación: | 1992 |
| 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/7418 |
| Enlace del recurso: | http://revistas.pucp.edu.pe/index.php/arete/article/view/7418 |
| Nivel de acceso: | acceso abierto |
| Sumario: | In this note we discuss a general form of the Deduction Theorem (DT) for first order modal systems, which permits to derive severa! other formulations of DT found in the literature, and their relationship with the Barcan's Formula |
|---|
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).
