Lógica intuicionista en tres horas (y pico)
- Salto Alemany, Francisco
- Méndez Rodríguez, José Manuel
ISSN: 1132-8177
Year of publication: 2001
Issue: 9
Pages: 127-150
Type: Article
More publications in: Laguna: Revista de Filosofía
Abstract
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.