2020-07-3020010120-341Xhttp://hdl.handle.net/10784/17302Los 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.application/pdfspaCopyright © 2001 Manuel Sierraarticleinfo:eu-repo/semantics/openAccessParadoja del mentirosoTeoría de conjuntosBertrand RussellHaskell CurryLogica algebraicaAcceso abierto2020-07-30Sierra, Manuel