Sistema de lógica diagonal ld1, ld2,…ld42

Autores/as

  • Manuel Sierra Universidad EAFIT

Palabras clave:

Paradoja del mentiroso, Teoría de conjuntos, Bertrand Russell, Haskell Curry, Logica algebraica

Resumen

Los sistemas de Lógica Diagonal deben restringir la validez de la regla de modus ponens para poder soportar una forma abstracta de la paradoja de Russell. En este trabajo se presenta la construcción de una jerarquía de sistemas de Lógica Diagonal, en la cual diferentes formas de modus ponens son estudiadas.

Descargas

Los datos de descarga aún no están disponibles.

Biografía del autor/a

  • Manuel Sierra, Universidad EAFIT
    Magister en Matemáticas. Profesor del Departamento de Humanidades, Universidad EAFIT.

Descargas

Publicado

2012-06-25

Número

Vol. 37 Núm. 121 (2001)

Sección

Artículos

Cómo citar

Sierra, M. (2012). Sistema de lógica diagonal ld1, ld2,…ld42. Revista Descubre y Crea | Universidad EAFIT, 37(121), 65-80. https://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/1017

Artículos más leídos del mismo autor/a