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

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 est...

Full description

Autores:
Sierra, Manuel
Tipo de recurso:
Fecha de publicación:
2001
Institución:
Universidad EAFIT
Repositorio:
Repositorio EAFIT
Idioma:
spa
OAI Identifier:
oai:repository.eafit.edu.co:10784/17302
Acceso en línea:
http://hdl.handle.net/10784/17302
Palabra clave:
Paradoja del mentiroso
Teoría de conjuntos
Bertrand Russell
Haskell Curry
Logica algebraica
Rights
License
Copyright © 2001 Manuel Sierra
Description
Summary: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.

Publicaciones similares