Intuitionistic Logic and Elementary Rules.
The interplay of introduction and elimination rules for propositional connectives is often seen as suggesting a distinguished role for intuitionistic logic. We prove three formal results concerning intuitionistic propositional logic that bear on that perspective, and discuss their significance. Firs...
| Publicado en: | Mind (0026-4423) Vol. 120; no. 480; pp. 1035 - 1052 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Oxford University Press / USA
Oct2011
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |