Lógica diagonal
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...
- Autores:
-
Sierra, Manuel
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1996
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/31644
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/31644
http://bdigital.unal.edu.co/21723/
- Palabra clave:
- Russell's paradox
contraction
modus ponens
substitution
triviality
paradoja de Russell
contracción
modus ponens
substitución
trivialidad
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | 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. |
|---|