Lógica diagonal

• Manuel Sierra ^[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. 3, Nº. 2, 1996, págs. 63-81
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    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

  • English

    As a result of explorations between logic, category theory, combinators, Russell's paradox, contraction rule, modus ponens and the unrestricted comprehension schema, we present consistent logic systems, which can be extended until proving Russell's paradox as a theorem