Teoría de prueba con etiquetas para lógicas modales intuicionistas
- Autores
- Morales, Marianela
- Año de publicación
- 2019
- Idioma
- español castellano
- Tipo de recurso
- tesis de grado
- Estado
- versión publicada
- Colaborador/a o director/a de tesis
- Strassburger, Lutz
- Descripción
- Los sistemas de prueba etiquetados han sido propuestos por Gabbay como un marco unificador a través de la teoría de prueba con el fin de proporcionar sistemas de prueba para una amplia gama de lógicas. Para las lógicas modales, un ejemplo de ello son, por ejemplo, los sistemas de deducción natural etiquetados y sistemas de secuentes etiquetados, tales como los introducidos por Simpson y Negri. Estos formalismos hacen uso explícito no sólo de las etiquetas, sino también de los átomos relacionales que se refieren a la relación de accesibilidad de un modelo de Kripke. El objetivo principal de este trabajo final de Licenciatura, es poder proponer un sistema de prueba etiquetado para una Lógica Modal Intuicionista, que represente tanto la relación de accesibilidad (para la lógica modal) como la relación de preorden (para la lógica intuicionista), utilizando todo el poder de la semántica bi-relacional para las lógicas modales intuicionistas.
- Materia
-
Theory of computation
Modal and temporal logics
Lógica - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- Repositorio
- Institución
- Universidad Nacional de Córdoba
- OAI Identificador
- oai:rdu.unc.edu.ar:11086/11915
Ver los metadatos del registro completo
id |
RDUUNC_1cd6e2f7665e304167e9b7a5ac7bf687 |
---|---|
oai_identifier_str |
oai:rdu.unc.edu.ar:11086/11915 |
network_acronym_str |
RDUUNC |
repository_id_str |
2572 |
network_name_str |
Repositorio Digital Universitario (UNC) |
spelling |
Teoría de prueba con etiquetas para lógicas modales intuicionistasMorales, MarianelaTheory of computationModal and temporal logicsLógicaLos sistemas de prueba etiquetados han sido propuestos por Gabbay como un marco unificador a través de la teoría de prueba con el fin de proporcionar sistemas de prueba para una amplia gama de lógicas. Para las lógicas modales, un ejemplo de ello son, por ejemplo, los sistemas de deducción natural etiquetados y sistemas de secuentes etiquetados, tales como los introducidos por Simpson y Negri. Estos formalismos hacen uso explícito no sólo de las etiquetas, sino también de los átomos relacionales que se refieren a la relación de accesibilidad de un modelo de Kripke. El objetivo principal de este trabajo final de Licenciatura, es poder proponer un sistema de prueba etiquetado para una Lógica Modal Intuicionista, que represente tanto la relación de accesibilidad (para la lógica modal) como la relación de preorden (para la lógica intuicionista), utilizando todo el poder de la semántica bi-relacional para las lógicas modales intuicionistas.Strassburger, Lutz2019-03-28info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttp://hdl.handle.net/11086/11915spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-29T13:41:32Zoai:rdu.unc.edu.ar:11086/11915Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-29 13:41:32.977Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse |
dc.title.none.fl_str_mv |
Teoría de prueba con etiquetas para lógicas modales intuicionistas |
title |
Teoría de prueba con etiquetas para lógicas modales intuicionistas |
spellingShingle |
Teoría de prueba con etiquetas para lógicas modales intuicionistas Morales, Marianela Theory of computation Modal and temporal logics Lógica |
title_short |
Teoría de prueba con etiquetas para lógicas modales intuicionistas |
title_full |
Teoría de prueba con etiquetas para lógicas modales intuicionistas |
title_fullStr |
Teoría de prueba con etiquetas para lógicas modales intuicionistas |
title_full_unstemmed |
Teoría de prueba con etiquetas para lógicas modales intuicionistas |
title_sort |
Teoría de prueba con etiquetas para lógicas modales intuicionistas |
dc.creator.none.fl_str_mv |
Morales, Marianela |
author |
Morales, Marianela |
author_facet |
Morales, Marianela |
author_role |
author |
dc.contributor.none.fl_str_mv |
Strassburger, Lutz |
dc.subject.none.fl_str_mv |
Theory of computation Modal and temporal logics Lógica |
topic |
Theory of computation Modal and temporal logics Lógica |
dc.description.none.fl_txt_mv |
Los sistemas de prueba etiquetados han sido propuestos por Gabbay como un marco unificador a través de la teoría de prueba con el fin de proporcionar sistemas de prueba para una amplia gama de lógicas. Para las lógicas modales, un ejemplo de ello son, por ejemplo, los sistemas de deducción natural etiquetados y sistemas de secuentes etiquetados, tales como los introducidos por Simpson y Negri. Estos formalismos hacen uso explícito no sólo de las etiquetas, sino también de los átomos relacionales que se refieren a la relación de accesibilidad de un modelo de Kripke. El objetivo principal de este trabajo final de Licenciatura, es poder proponer un sistema de prueba etiquetado para una Lógica Modal Intuicionista, que represente tanto la relación de accesibilidad (para la lógica modal) como la relación de preorden (para la lógica intuicionista), utilizando todo el poder de la semántica bi-relacional para las lógicas modales intuicionistas. |
description |
Los sistemas de prueba etiquetados han sido propuestos por Gabbay como un marco unificador a través de la teoría de prueba con el fin de proporcionar sistemas de prueba para una amplia gama de lógicas. Para las lógicas modales, un ejemplo de ello son, por ejemplo, los sistemas de deducción natural etiquetados y sistemas de secuentes etiquetados, tales como los introducidos por Simpson y Negri. Estos formalismos hacen uso explícito no sólo de las etiquetas, sino también de los átomos relacionales que se refieren a la relación de accesibilidad de un modelo de Kripke. El objetivo principal de este trabajo final de Licenciatura, es poder proponer un sistema de prueba etiquetado para una Lógica Modal Intuicionista, que represente tanto la relación de accesibilidad (para la lógica modal) como la relación de preorden (para la lógica intuicionista), utilizando todo el poder de la semántica bi-relacional para las lógicas modales intuicionistas. |
publishDate |
2019 |
dc.date.none.fl_str_mv |
2019-03-28 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/bachelorThesis info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_7a1f info:ar-repo/semantics/tesisDeGrado |
format |
bachelorThesis |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://hdl.handle.net/11086/11915 |
url |
http://hdl.handle.net/11086/11915 |
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.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_ |
1844618904439095296 |
score |
13.070432 |