Saved in:
| Main Author: | |
|---|---|
| Format: | Artículo científico |
| Language: | en |
| Published: |
Escuela Regional de Matemáticas
2005
|
| Subjects: | |
| Online Access: | https://www.redalyc.org/articulo.oa?id=46800207 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Tableaux sin refutación Tomás Barrero Walter Carnielli Física, Astronomía y Matemáticas Positive logic paratriviality Lógica positiva paratrivialidad positive tableaux Usando como motivación la objeción de H. Curry y una propuesta de L. Henkin, el artículointroduce los tableaux positivos, una forma de tableaux sin refutación construidos a partirde la idea de trivialidad implicativa. Se establece el teorema de completitud que garantizaun nuevo proceso de decisión para la lógica positiva clásica. Se introduce también el conceptode paratrivialidad como posible respuesta a paradojas y limitaciones de la implicaciónclásica. 2005 artículo científico 0120-6788 https://www.redalyc.org/articulo.oa?id=46800207 en http://www.redalyc.org/revista.oa?id=468 Matemáticas: Enseñanza Universitaria application/pdf Escuela Regional de Matemáticas Matemáticas: Enseñanza Universitaria (Colombia) Num.2 Vol.XIII