Lógica intuicionista en tres horas (y pico)
- Salto Alemany, Francisco
- Méndez Rodríguez, José Manuel
ISSN: 1132-8177
Año de publicación: 2001
Número: 9
Páginas: 127-150
Tipo: Artículo
Otras publicaciones en: Laguna: Revista de Filosofía
Resumen
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.