Lógica intuicionista en tres horas (y pico)
- Salto Alemany, Francisco
- Méndez Rodríguez, José Manuel
ISSN: 1132-8177
Année de publication: 2001
Número: 9
Pages: 127-150
Type: Article
D'autres publications dans: Laguna: Revista de Filosofía
Résumé
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.