Consistencia de los sistemas LD5 a LD10

Artículos de revistas

Fecha

1998-07-01

Registro en:

ISSN: 2357-6529

https://repositorio.unal.edu.co/handle/unal/31675

http://bdigital.unal.edu.co/21754/

http://repositorioslatinoamericanos.uchile.cl/handle/2250/3373286

Autor

Sierra Aristizábal, Manuel

Institución

Universidad Nacional de Colombia

Resumen

Los sistemas proposicionales LD5, ..., LD10 soportan una forma general de la paradoja de Russell y son →consistentes.

The propositional systems LD5, ..., LD10 support a general form of Russell paradox and are→consistent.

Materias

Mostrar el registro completo del ítem