Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Artículo científico |
| Sprache: | en |
| Veröffentlicht: |
Escuela Regional de Matemáticas
2005
|
| Schlagworte: | |
| Online-Zugang: | https://www.redalyc.org/articulo.oa?id=46800207 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866812466668765184 |
|---|---|
| author | Tomás Barrero |
| author_facet | Tomás Barrero |
| 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 |
| format | Artículo científico |
| id | redalyc_46800207 |
| language | en |
| publishDate | 2005 |
| publisher | Escuela Regional de Matemáticas |
| spellingShingle | Tableaux sin refutación Tomás Barrero Física, Astronomía y Matemáticas Positive logic paratriviality Lógica positiva paratrivialidad positive tableaux 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 |
| title | Tableaux sin refutación |
| topic | Física, Astronomía y Matemáticas Positive logic paratriviality Lógica positiva paratrivialidad positive tableaux |
| url | https://www.redalyc.org/articulo.oa?id=46800207 |