Lógica intuicionista en tres horas (y pico)
- Salto Alemany, Francisco
- Méndez Rodríguez, José Manuel
ISSN: 1132-8177
Any de publicació: 2001
Número: 9
Pàgines: 127-150
Tipus: Article
Altres publicacions en: Laguna: Revista de Filosofía
Resum
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.