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

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_	1806885955630530560

Relativización de formulas y consistencia

Publicaciones similares