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:
Detalles Bibliográficos
Autor principal: Legris, Javier
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