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

Authors

  • Manuel Sierra Universidad EAFIT

Keywords:

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

Abstract

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.

Downloads

Download data is not yet available.

Author Biography

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

Downloads

Published

2012-06-25

Issue

Vol. 37 No. 121 (2001)

Section

Artículos

How to Cite

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

Most read articles by the same author(s)