Lógica intuicionista en tres horas (y pico)

• Autores: Francisco Salto Alemany, José Manuel Méndez Rodríguez
• Localización: Laguna: Revista de Filosofía, ISSN 1132-8177, Nº 9, 2001, págs. 127-150
• Idioma: español
• Títulos paralelos:
  • Intuitionistic logic in thee hours —and a bit
• Texto completo no disponible (Saber más ...)
• Resumen
  • español

    En este trabajo se ofrece una introducción básica a la lógica intuicionista. Varios sistemas formales son analizados en sus aspectos sintácticos y semánticos, incluyéndose pruebas (tanto clásicas como constructivas) de consistencia, completud y decidibilidad. También se discuten algunas aplicaciones y perspectivas.

  • English

    In the paper it is offered a basic introduction to intuitionistic logic. Several formal systems are analyzed in their syntactical and semantical aspects. Proofs of consistency, completeness and decidability are included (both classical and constructive). Also, we discuss some applications and perspectives.