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
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/11915
Acceder
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-10-23T11:15:49Zoai: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-10-23 11:15:49.668Repositorio 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_ 1846785237256765440
score 12.982451

Publicaciones similares