Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Relativización de formulas y consistencia

Muñoz Q., José M. (2012) 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 .

Texto completo

[img]
Vista previa
PDF
4MB

URL oficial: http://revistas.unal.edu.co/index.php/bolma/articl...

Resumen

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

Tipo de documento:Artículo - Article
Palabras clave:Conjunto de sentencias; cálculo de predicados; axiomas, teorema de la deducción
Unidad administrativa:Revistas electrónicas UN > Boletín de Matemáticas
Código ID:34329
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :01 Julio 2014 14:09
Ultima modificación:18 Agosto 2014 20:39
Ultima modificación:18 Agosto 2014 20:39
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Registry of Open Access Repositories OpenDOAR Metabiblioteca BDCOL OAIster Red de repositorios latinoamericanos DSpace BASE Open archives La referencia Colombiae Open Access Theses and Dissertations Tesis latinoamericanas CLACSO
Este sitio web se ve mejor en Firefox