Reglas estructurales y análisis de la consecuencia lógica
- Autores
- Legris, Javier
- Año de publicación
- 1999
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.
Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
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.
Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.
Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. - Materia
-
Epistemología
Historia de la ciencia - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- Repositorio
- Institución
- Universidad Nacional de Córdoba
- OAI Identificador
- oai:rdu.unc.edu.ar:11086/3390
Ver los metadatos del registro completo
id |
RDUUNC_ecc200654d1eaeef80c7c07ac8a37eda |
---|---|
oai_identifier_str |
oai:rdu.unc.edu.ar:11086/3390 |
network_acronym_str |
RDUUNC |
repository_id_str |
2572 |
network_name_str |
Repositorio Digital Universitario (UNC) |
spelling |
Reglas estructurales y análisis de la consecuencia lógicaLegris, JavierEpistemologíaHistoria de la cienciaFil: Legris, Javier. Universidad de Buenos Aires; Argentina.Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.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.Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Universidad Nacional de Córdoba1999-07info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://hdl.handle.net/11086/3390spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-04T12:33:21Zoai:rdu.unc.edu.ar:11086/3390Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-04 12:33:21.481Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse |
dc.title.none.fl_str_mv |
Reglas estructurales y análisis de la consecuencia lógica |
title |
Reglas estructurales y análisis de la consecuencia lógica |
spellingShingle |
Reglas estructurales y análisis de la consecuencia lógica Legris, Javier Epistemología Historia de la ciencia |
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 |
dc.creator.none.fl_str_mv |
Legris, Javier |
author |
Legris, Javier |
author_facet |
Legris, Javier |
author_role |
author |
dc.subject.none.fl_str_mv |
Epistemología Historia de la ciencia |
topic |
Epistemología Historia de la ciencia |
dc.description.none.fl_txt_mv |
Fil: Legris, Javier. Universidad de Buenos Aires; Argentina. Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. 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. Fil: Legris, Javier. Universidad de Buenos Aires; Argentina. Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. |
description |
Fil: Legris, Javier. Universidad de Buenos Aires; Argentina. |
publishDate |
1999 |
dc.date.none.fl_str_mv |
1999-07 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://hdl.handle.net/11086/3390 |
url |
http://hdl.handle.net/11086/3390 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidad Nacional de Córdoba |
publisher.none.fl_str_mv |
Universidad Nacional de Córdoba |
dc.source.none.fl_str_mv |
reponame:Repositorio Digital Universitario (UNC) instname:Universidad Nacional de Córdoba instacron:UNC |
reponame_str |
Repositorio Digital Universitario (UNC) |
collection |
Repositorio Digital Universitario (UNC) |
instname_str |
Universidad Nacional de Córdoba |
instacron_str |
UNC |
institution |
UNC |
repository.name.fl_str_mv |
Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba |
repository.mail.fl_str_mv |
oca.unc@gmail.com |
_version_ |
1842349659164508160 |
score |
13.13397 |