Sistema de lógica paraconsistente C1
Fecha
2000
Autores
Sierra Aristizábal, Manuel
relationships.isAdvisorOf
Título de la revista
ISSN de la revista
0120-341X
Título del volumen
Editor
Universidad EAFIT
item.page.isbn
Resumen
Descripción
En la teoría intuitiva y no axiomática de conjuntos de Cantor, existe un principio básico llamado postulado de separación, este dice que toda propiedad determina un conjunto, aquel formado por los objetos que poseen tal propiedad; como se sabe, utilizando principios lógicos muy simples se puede probar que este postulado conduce a la contradicción llamada la Paradoja de Russell.