Consistencia de los sistemas LD5 a LD10
Los sistemas proposicionales LD5, ..., LD10 soportan una forma general de la paradoja de Russell y son →consistentes.
- Autores:
-
Sierra Aristizábal, Manuel
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1998
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/31675
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/31675
http://bdigital.unal.edu.co/21754/
- Palabra clave:
- 51 Matemáticas / Mathematics
paradoja de Russell
→consistentes
contracción
simplificación
Modus Ponens
Russell paradox
→consistent
contraction
simplification
modus ponens
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional