→ Consistencia de los sistemas LD5 a LD10

• Manuel Sierra Aristizábal ^[1]
  1. [1] Universidad Nacional de Colombia

     Universidad Nacional de Colombia

     Colombia

     
• Localización: Boletín de matemáticas, ISSN 0120-0380, ISSN-e 2357-6529, Vol. 5, Nº. 2, 1998, págs. 129-145
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

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

  • English

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