Resumen de Lógica intuicionista en tres horas (y pico)

Francisco Salto Alemany, José Manuel Méndez Rodríguez

• 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.