Relativización de formulas y consistencia
El presente artículo tiene como fin mostrar que el problema de la consistencia de una sentencia, relativamente a la consistencia de otro conjunto de sentencias, puede resolverse en muchos casos mediante un procedimiento puramente sintáctico, aceptado universalmente, independiente de modelos e interp...
- Autores:
-
Muñoz Q., José M.
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1985
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/44231
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/44231
http://bdigital.unal.edu.co/34329/
- Palabra clave:
- Conjunto de sentencias
cálculo de predicados
axiomas
teorema de la deducción
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
id |
UNACIONAL2_d8b39f1299c3a4845d64ae312670249c |
---|---|
oai_identifier_str |
oai:repositorio.unal.edu.co:unal/44231 |
network_acronym_str |
UNACIONAL2 |
network_name_str |
Universidad Nacional de Colombia |
repository_id_str |
|
spelling |
Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Muñoz Q., José M.13f860a9-b768-421e-a0af-fc102affa70b3002019-06-28T13:10:38Z2019-06-28T13:10:38Z1985https://repositorio.unal.edu.co/handle/unal/44231http://bdigital.unal.edu.co/34329/El presente artículo tiene como fin mostrar que el problema de la consistencia de una sentencia, relativamente a la consistencia de otro conjunto de sentencias, puede resolverse en muchos casos mediante un procedimiento puramente sintáctico, aceptado universalmente, independiente de modelos e interpretaciones, y el cual tiene lugar dentro de prácticamente cualquier sistema de deducción formal de un cálculo de predicados. Las ideas fundamentales descansan en la propiedad de la preservación de la deducción formal por la relativización, cuya de mostración, bastante técnica pero elemental, ha sido desarrollada en detalle por el autorapplication/pdfspaBoletín de Matemáticashttp://revistas.unal.edu.co/index.php/bolma/article/view/34467Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasBoletín de Matemáticas; Vol. 19, núm. 2 (1985); 107-118 Boletín de Matemáticas; Vol. 19, núm. 2 (1985); 107-118 2357-6529 0120-0380Muñoz Q., José M. (1985) Relativización de formulas y consistencia. Boletín de Matemáticas; Vol. 19, núm. 2 (1985); 107-118 Boletín de Matemáticas; Vol. 19, núm. 2 (1985); 107-118 2357-6529 0120-0380 .Relativización de formulas y consistenciaArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTConjunto de sentenciascálculo de predicadosaxiomasteorema de la deducciónORIGINAL34467-133338-1-PB.pdfapplication/pdf4523584https://repositorio.unal.edu.co/bitstream/unal/44231/1/34467-133338-1-PB.pdf40292563c2040c239617eeba349fb605MD51THUMBNAIL34467-133338-1-PB.pdf.jpg34467-133338-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg7779https://repositorio.unal.edu.co/bitstream/unal/44231/2/34467-133338-1-PB.pdf.jpg6a750ca7194acedc0f07dd1870a41351MD52unal/44231oai:repositorio.unal.edu.co:unal/442312023-02-16 23:04:24.532Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co |
dc.title.spa.fl_str_mv |
Relativización de formulas y consistencia |
title |
Relativización de formulas y consistencia |
spellingShingle |
Relativización de formulas y consistencia Conjunto de sentencias cálculo de predicados axiomas teorema de la deducción |
title_short |
Relativización de formulas y consistencia |
title_full |
Relativización de formulas y consistencia |
title_fullStr |
Relativización de formulas y consistencia |
title_full_unstemmed |
Relativización de formulas y consistencia |
title_sort |
Relativización de formulas y consistencia |
dc.creator.fl_str_mv |
Muñoz Q., José M. |
dc.contributor.author.spa.fl_str_mv |
Muñoz Q., José M. |
dc.subject.proposal.spa.fl_str_mv |
Conjunto de sentencias cálculo de predicados axiomas teorema de la deducción |
topic |
Conjunto de sentencias cálculo de predicados axiomas teorema de la deducción |
description |
El presente artículo tiene como fin mostrar que el problema de la consistencia de una sentencia, relativamente a la consistencia de otro conjunto de sentencias, puede resolverse en muchos casos mediante un procedimiento puramente sintáctico, aceptado universalmente, independiente de modelos e interpretaciones, y el cual tiene lugar dentro de prácticamente cualquier sistema de deducción formal de un cálculo de predicados. Las ideas fundamentales descansan en la propiedad de la preservación de la deducción formal por la relativización, cuya de mostración, bastante técnica pero elemental, ha sido desarrollada en detalle por el autor |
publishDate |
1985 |
dc.date.issued.spa.fl_str_mv |
1985 |
dc.date.accessioned.spa.fl_str_mv |
2019-06-28T13:10:38Z |
dc.date.available.spa.fl_str_mv |
2019-06-28T13:10:38Z |
dc.type.spa.fl_str_mv |
Artículo de revista |
dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_2df8fbb1 |
dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/article |
dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 |
dc.type.coarversion.spa.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
dc.type.content.spa.fl_str_mv |
Text |
dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/ART |
format |
http://purl.org/coar/resource_type/c_6501 |
status_str |
publishedVersion |
dc.identifier.uri.none.fl_str_mv |
https://repositorio.unal.edu.co/handle/unal/44231 |
dc.identifier.eprints.spa.fl_str_mv |
http://bdigital.unal.edu.co/34329/ |
url |
https://repositorio.unal.edu.co/handle/unal/44231 http://bdigital.unal.edu.co/34329/ |
dc.language.iso.spa.fl_str_mv |
spa |
language |
spa |
dc.relation.spa.fl_str_mv |
http://revistas.unal.edu.co/index.php/bolma/article/view/34467 |
dc.relation.ispartof.spa.fl_str_mv |
Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas Boletín de Matemáticas |
dc.relation.ispartofseries.none.fl_str_mv |
Boletín de Matemáticas; Vol. 19, núm. 2 (1985); 107-118 Boletín de Matemáticas; Vol. 19, núm. 2 (1985); 107-118 2357-6529 0120-0380 |
dc.relation.references.spa.fl_str_mv |
Muñoz Q., José M. (1985) Relativización de formulas y consistencia. Boletín de Matemáticas; Vol. 19, núm. 2 (1985); 107-118 Boletín de Matemáticas; Vol. 19, núm. 2 (1985); 107-118 2357-6529 0120-0380 . |
dc.rights.spa.fl_str_mv |
Derechos reservados - Universidad Nacional de Colombia |
dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
dc.rights.license.spa.fl_str_mv |
Atribución-NoComercial 4.0 Internacional |
dc.rights.uri.spa.fl_str_mv |
http://creativecommons.org/licenses/by-nc/4.0/ |
dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Atribución-NoComercial 4.0 Internacional Derechos reservados - Universidad Nacional de Colombia http://creativecommons.org/licenses/by-nc/4.0/ http://purl.org/coar/access_right/c_abf2 |
eu_rights_str_mv |
openAccess |
dc.format.mimetype.spa.fl_str_mv |
application/pdf |
dc.publisher.spa.fl_str_mv |
Boletín de Matemáticas |
institution |
Universidad Nacional de Colombia |
bitstream.url.fl_str_mv |
https://repositorio.unal.edu.co/bitstream/unal/44231/1/34467-133338-1-PB.pdf https://repositorio.unal.edu.co/bitstream/unal/44231/2/34467-133338-1-PB.pdf.jpg |
bitstream.checksum.fl_str_mv |
40292563c2040c239617eeba349fb605 6a750ca7194acedc0f07dd1870a41351 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Repositorio Institucional Universidad Nacional de Colombia |
repository.mail.fl_str_mv |
repositorio_nal@unal.edu.co |
_version_ |
1814089240545329152 |