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

Lógica diagonal

Sierra, Manuel (2010) Lógica diagonal. Boletín de Matemáticas; Vol. 3, núm. 2 (1996); 63-81 Boletín de Matemáticas; Vol. 3, núm. 2 (1996); 63-81 2357-6529 0120-0380 .

Texto completo

[img]
Vista previa
PDF
2MB

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

Resumen

Como resultado de explorar algunas conexiones entre lógica, teoría de categorías, teoría de combinadores, la paradoja de Russell, la regla de contracción, la regla de modus ponens y el axioma de separación irrestricta de conjuntos, se presentan sistemas lógicos consistentes que pueden ser extendidos hasta incorporar la paradoja de Russell como uno de sus teoremas., As a result of explorations between logic, category theory, combinators, Russell's paradox, contraction rule, modus ponens and the unrestricted comprehension schema, we present consistent logic systems, which can be extended until proving Russell's paradox as a theorem.

Tipo de documento:Artículo - Article
Palabras clave:Russell's paradox, contraction, modus ponens, substitution, triviality, paradoja de Russell, contracción, modus ponens, substitución, trivialidad
Unidad administrativa:Revistas electrónicas UN > Boletín de Matemáticas
Código ID:21723
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :27 Junio 2014 12:52
Ultima modificación:18 Agosto 2014 15:41
Ultima modificación:18 Agosto 2014 15:41
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