Reglas estructurales y análisis de la consecuencia lógica
La semántica formal de valores de verdad para la lógica de primer orden, tal como fue fundada por Alfred Tarski, es considerada por muchos como la herramienta formal adecuada para reconstruir la verdad lógica y la relación de consecuencia lógica.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | conferenceObject |
| Lenguaje: | Español |
| Publicado: |
Eduardo Sota
2016
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/3390 |
| Aporte de: |
| id |
I10-R14111086-3390 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de Córdoba |
| institution_str |
I-10 |
| repository_str |
R-141 |
| collection |
Repositorio Digital Universitario (UNC) |
| language |
Español |
| topic |
Epistemología Historia de la ciencia |
| spellingShingle |
Epistemología Historia de la ciencia Legris, Javier Reglas estructurales y análisis de la consecuencia lógica |
| topic_facet |
Epistemología Historia de la ciencia |
| description |
La semántica formal de valores de verdad para la lógica de primer orden, tal como fue fundada por Alfred Tarski, es considerada por muchos como la herramienta formal adecuada para reconstruir la verdad lógica y la relación de consecuencia lógica. |
| format |
conferenceObject |
| author |
Legris, Javier |
| author_facet |
Legris, Javier |
| author_sort |
Legris, Javier |
| title |
Reglas estructurales y análisis de la consecuencia lógica |
| title_short |
Reglas estructurales y análisis de la consecuencia lógica |
| title_full |
Reglas estructurales y análisis de la consecuencia lógica |
| title_fullStr |
Reglas estructurales y análisis de la consecuencia lógica |
| title_full_unstemmed |
Reglas estructurales y análisis de la consecuencia lógica |
| title_sort |
reglas estructurales y análisis de la consecuencia lógica |
| publisher |
Eduardo Sota |
| publishDate |
2016 |
| url |
http://hdl.handle.net/11086/3390 |
| work_keys_str_mv |
AT legrisjavier reglasestructuralesyanalisisdelaconsecuencialogica |
| bdutipo_str |
Repositorios |
| _version_ |
1764820396158222340 |