Lógica intuicionista en tres horas (y pico)
- Salto Alemany, Francisco
- Méndez Rodríguez, José Manuel
ISSN: 1132-8177
Datum der Publikation: 2001
Nummer: 9
Seiten: 127-150
Art: Artikel
Andere Publikationen in: Laguna: Revista de Filosofía
Zusammenfassung
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.