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.
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: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
id RPUC_0c044de6c0e0062a5048d74af7956f5f
oai_identifier_str oai:repositorio.pucp.edu.pe:20.500.14657/113264
network_acronym_str RPUC
network_name_str PUCP-Institucional
repository_id_str 2905
spelling Cifuentes Vásquez, José Carlos2018-04-09T23:00:37Z2018-04-09T23:00:37Z1992http://revistas.pucp.edu.pe/index.php/arete/article/view/7418/7640https://doi.org/10.18800/arete.199202.001En 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.In this note we discuss a general form of the Deduction Theorem (DT) for first order modal systems, which permits to derive several other formulations of DT found in the literature, and their relationship with the Barcan's Formula.Pontificia Universidad Católica del Perú. Departamento de Humanidadesapplication/pdfspaPontificia Universidad Católica del Perú. Fondo EditorialPEurn:issn:2223-3741urn:issn:1016-913Xinfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0Areté; Vol. 4, Núm. 2 (1992)reponame:PUCP-Institucionalinstname:Pontificia Universidad Católica del Perúinstacron:PUCPPhilosophyhttps://purl.org/pe-repo/ocde/ford#6.03.01La Fórmula de Barcan es equivalente al Teorema de Deduccióninfo:eu-repo/semantics/articleArtículo20.500.14657/113264oai:repositorio.pucp.edu.pe:20.500.14657/1132642025-07-04 15:52:49.791http://creativecommons.org/licenses/by/4.0info:eu-repo/semantics/openAccessmetadata.onlyhttps://repositorio.pucp.edu.peRepositorio Institucional de la PUCPrepositorio@pucp.pe
dc.title.es_ES.fl_str_mv 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
Philosophy
https://purl.org/pe-repo/ocde/ford#6.03.01
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
author Cifuentes Vásquez, José Carlos
author_facet Cifuentes Vásquez, José Carlos
author_role author
dc.contributor.author.fl_str_mv Cifuentes Vásquez, José Carlos
dc.subject.en_US.fl_str_mv Philosophy
topic Philosophy
https://purl.org/pe-repo/ocde/ford#6.03.01
dc.subject.ocde.none.fl_str_mv https://purl.org/pe-repo/ocde/ford#6.03.01
description 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.
publishDate 1992
dc.date.accessioned.none.fl_str_mv 2018-04-09T23:00:37Z
dc.date.available.none.fl_str_mv 2018-04-09T23:00:37Z
dc.date.issued.fl_str_mv 1992
dc.type.none.fl_str_mv info:eu-repo/semantics/article
dc.type.other.none.fl_str_mv Artículo
format article
dc.identifier.uri.none.fl_str_mv http://revistas.pucp.edu.pe/index.php/arete/article/view/7418/7640
dc.identifier.doi.none.fl_str_mv https://doi.org/10.18800/arete.199202.001
url http://revistas.pucp.edu.pe/index.php/arete/article/view/7418/7640
https://doi.org/10.18800/arete.199202.001
dc.language.iso.none.fl_str_mv spa
language spa
dc.relation.ispartof.none.fl_str_mv urn:issn:2223-3741
urn:issn:1016-913X
dc.rights.es_ES.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.uri.*.fl_str_mv http://creativecommons.org/licenses/by/4.0
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0
dc.format.none.fl_str_mv application/pdf
dc.publisher.es_ES.fl_str_mv Pontificia Universidad Católica del Perú. Fondo Editorial
dc.publisher.country.none.fl_str_mv PE
dc.source.es_ES.fl_str_mv Areté; Vol. 4, Núm. 2 (1992)
dc.source.none.fl_str_mv reponame:PUCP-Institucional
instname:Pontificia Universidad Católica del Perú
instacron:PUCP
instname_str Pontificia Universidad Católica del Perú
instacron_str PUCP
institution PUCP
reponame_str PUCP-Institucional
collection PUCP-Institucional
repository.name.fl_str_mv Repositorio Institucional de la PUCP
repository.mail.fl_str_mv repositorio@pucp.pe
_version_ 1837540565799927808
score 13.955691
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