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
Detalles Bibliográficos
Autor: Cifuentes Vásquez, José Carlos
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:revistaspuc:article/7418
Enlace del recurso:http://revistas.pucp.edu.pe/index.php/arete/article/view/7418
Nivel de acceso:acceso abierto
id REVPUCP_a66580a90cfbca0cd349c5151f7c1a9e
oai_identifier_str oai:revistaspuc:article/7418
network_acronym_str REVPUCP
network_name_str Revistas - Pontificia Universidad Católica del Perú
repository_id_str
spelling La Fórmula de Barcan es equivalente al Teorema de DeducciónLa Fórmula de Barcan es equivalente al Teorema de DeducciónCifuentes Vásquez, José CarlosIn 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 FormulaEn esta nota discutimos una forma generaldel Teorema de Deducción (TD) para sistemas modales de primer orden, la cual permite derivar varias otras formulaciones del mismoque aparecen en la literatura, así como su relación con la Fórmula de BarcanPontificia Universidad Católica del Perú - Departamento de Humanidades1992-09-03info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://revistas.pucp.edu.pe/index.php/arete/article/view/741810.18800/arete.199202.001Areté; Vol. 4 Núm. 2 (1992); 323-3352223-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/7418/7640Derechos de autor 2016 Aretéhttp://creativecommons.org/licenses/by/4.0info:eu-repo/semantics/openAccessoai:revistaspuc:article/74182025-08-19T15:42:48Z
dc.title.none.fl_str_mv La Fórmula de Barcan es equivalente al Teorema de Deducción
La Fórmula de Barcan es equivalente al Teorema de Deducción
title La Fórmula de Barcan es equivalente al Teorema de Deducción
spellingShingle La Fórmula de Barcan es equivalente al Teorema de Deducción
Cifuentes Vásquez, José Carlos
title_short La Fórmula de Barcan es equivalente al Teorema de Deducción
title_full La Fórmula de Barcan es equivalente al Teorema de Deducción
title_fullStr La Fórmula de Barcan es equivalente al Teorema de Deducción
title_full_unstemmed La Fórmula de Barcan es equivalente al Teorema de Deducción
title_sort La Fórmula de Barcan es equivalente al Teorema de Deducción
dc.creator.none.fl_str_mv Cifuentes Vásquez, José Carlos
author Cifuentes Vásquez, José Carlos
author_facet Cifuentes Vásquez, José Carlos
author_role author
description 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
publishDate 1992
dc.date.none.fl_str_mv 1992-09-03
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/7418
10.18800/arete.199202.001
url http://revistas.pucp.edu.pe/index.php/arete/article/view/7418
identifier_str_mv 10.18800/arete.199202.001
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/7418/7640
dc.rights.none.fl_str_mv Derechos de autor 2016 Areté
http://creativecommons.org/licenses/by/4.0
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Derechos de autor 2016 Areté
http://creativecommons.org/licenses/by/4.0
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. 4 Núm. 2 (1992); 323-335
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_ 1840900478386307072
score 13.361153
La Fórmula de Barcan es equivalente al Teorema de Deducción
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