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

Consistencia de los sistemas LD5 a LD10

Sierra Aristizábal, Manuel (1998) Consistencia de los sistemas LD5 a LD10. Boletín de Matemáticas, 5 (2). pp. 129-145. ISSN 2357-6529

Texto completo

[img]
Vista previa
PDF
Available under License Creative Commons Attribution No Derivatives.

2MB

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

Resumen

Los sistemas proposicionales LD5, ..., LD10 soportan una forma general de la paradoja de Russell y son →consistentes., The propositional systems LD5, ..., LD10 support a general form of Russell paradox and are→consistent.

Tipo de documento:Artículo - Article
Palabras clave:paradoja de Russell, →consistentes, contracción, simplificación, Modus Ponens, Russell paradox, →consistent, contraction, simplification, modus ponens
Temática:5 Ciencias naturales y matemáticas / Science > 51 Matemáticas / Mathematics
Unidad administrativa:Revistas electrónicas UN > Boletín de Matemáticas
Código ID:21754
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :27 Junio 2014 12:54
Ultima modificación:27 Septiembre 2018 18:27
Ultima modificación:27 Septiembre 2018 18:27
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 Metabiblioteca OAIster BASE BDCOL Registry of Open Access Repositories SNAAC Red de repositorios latinoamericanos eprints Open archives La referencia Tesis latinoamericanas OpenDOAR CLACSO
Este sitio web se ve mejor en Firefox