Teoría de prueba con etiquetas para lógicas modales intuicionistas
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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | bachelorThesis |
| Language: | spa |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/11915 |
| _version_ | 1801212212297072640 |
|---|---|
| author | Morales, Marianela |
| author2 | Strassburger, Lutz |
| author_facet | Strassburger, Lutz Morales, Marianela |
| author_sort | Morales, Marianela |
| collection | Repositorio Digital Universitario |
| 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. |
| format | bachelorThesis |
| id | rdu-unc.11915 |
| institution | Universidad Nacional de Cordoba |
| language | spa |
| publishDate | 2019 |
| record_format | dspace |
| spelling | rdu-unc.119152022-10-13T11:32:12Z Teoría de prueba con etiquetas para lógicas modales intuicionistas Morales, Marianela Strassburger, Lutz Theory of computation Modal and temporal logics Lógica 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. 2019-08-23T20:59:42Z 2019-08-23T20:59:42Z 2019-03-28 bachelorThesis http://hdl.handle.net/11086/11915 spa Atribución-NoComercial-CompartirIgual 4.0 Internacional http://creativecommons.org/licenses/by-nc-sa/4.0/ |
| spellingShingle | Theory of computation Modal and temporal logics Lógica Morales, Marianela Teoría de prueba con etiquetas para lógicas modales intuicionistas |
| title | 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_short | Teoría de prueba con etiquetas para lógicas modales intuicionistas |
| title_sort | teoria de prueba con etiquetas para logicas modales intuicionistas |
| topic | Theory of computation Modal and temporal logics Lógica |
| url | http://hdl.handle.net/11086/11915 |
| work_keys_str_mv | AT moralesmarianela teoriadepruebaconetiquetasparalogicasmodalesintuicionistas |