Lógica intuicionista en tres horas (y pico)
- Salto Alemany, Francisco
- Méndez Rodríguez, José Manuel
ISSN: 1132-8177
Argitalpen urtea: 2001
Zenbakia: 9
Orrialdeak: 127-150
Mota: Artikulua
Beste argitalpen batzuk: Laguna: Revista de Filosofía
Laburpena
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.