Teoría de prueba con etiquetas para lógicas modales intuicionistas

Mostrar todas las versiones(2)

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 e...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Morales, Marianela
Otros Autores: Strassburger, Lutz
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2019
Materias:
Theory of computation
Modal and temporal logics
Lógica
Acceso en línea:http://hdl.handle.net/11086/11915
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R14111086-11915
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 Theory of computation
Modal and temporal logics
Lógica
spellingShingle Theory of computation
Modal and temporal logics
Lógica
Morales, Marianela
Teoría de prueba con etiquetas para lógicas modales intuicionistas
topic_facet Theory of computation
Modal and temporal logics
Lógica
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.
author2 Strassburger, Lutz
author_facet Strassburger, Lutz
Morales, Marianela
format bachelorThesis
author Morales, Marianela
author_sort Morales, Marianela
title Teoría de prueba con etiquetas para lógicas modales intuicionistas
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
publishDate 2019
url http://hdl.handle.net/11086/11915
work_keys_str_mv AT moralesmarianela teoriadepruebaconetiquetasparalogicasmodalesintuicionistas
bdutipo_str Repositorios
_version_ 1764820392831090693

Ejemplares similares