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...

Full description

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