Álgebras de Heyting con sucesor

En el cálculo proposicional intuicionista podemos considerar los símbolos de conectivos asociados a la implicación, conjunción, disyunción y negación respectivamente. Kuznetsov introdujo un símbolo de conectivo unario nuevo (al que denominamos sucesor), agregando este símbolo en las reglas de formac...

Descripción completa

Detalles Bibliográficos
Autor principal: San Martín, Hernán Javier
Otros Autores: Sagastume, Marta Susana
Formato: Tesis Tesis de doctorado
Lenguaje:Español
Publicado: 2011
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/2707
https://doi.org/10.35537/10915/2707
Aporte de:SEDICI (UNLP) de Universidad Nacional de La Plata Ver origen
id I19-R120-10915-2707
record_format dspace
spelling I19-R120-10915-27072020-05-14T14:19:59Z http://sedici.unlp.edu.ar/handle/10915/2707 https://doi.org/10.35537/10915/2707 Álgebras de Heyting con sucesor San Martín, Hernán Javier 2011 2011 2012-11-05T06:00:05Z Sagastume, Marta Susana Castiglioni, José Luis es Ciencias Exactas Matemática Mathematical Logic álgebra cálculo proposicional intuicionista lógica En el cálculo proposicional intuicionista podemos considerar los símbolos de conectivos asociados a la implicación, conjunción, disyunción y negación respectivamente. Kuznetsov introdujo un símbolo de conectivo unario nuevo (al que denominamos sucesor), agregando este símbolo en las reglas de formación de fórmulas del intuicionismo y considerando un esquema particular de axiomas. El sucesor constituye un caso particular de conectivo implícito nuevo del cálculo proposicional intuicionista (esta es una diferencia con respecto al cálculo proposicional clásico, en donde no existen conectivos implícitos nuevos). La contraparte algebraica del cálculo introducido por Kuznetsov son las álgebras de Heyting que admiten una función unaria S a la que llamamos sucesor (siendo S parte del lenguaje del álgebra). Esta función forma parte de una familia de operadores compatibles e implícitamente definidos en álgebras de Heyting. Esta tesis se divide en las siguientes tres partes: primero se desarrolla una dualidad de Priestley para álgebras de Heyting con ciertos operadores unarios adicionales y en particular para álgebras de Heyting con sucesor; segundo, se utiliza como herramienta la última dualidad mencionada para obtener propiedades de ciertas subvariedades de la variedad de álgebras de Heyting con sucesor; por último se extienden algunos resultados para el caso de retículos residuados. Facultad de Ciencias Exactas Tesis Tesis de doctorado http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application/pdf
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Exactas
Matemática
Mathematical Logic
álgebra
cálculo proposicional intuicionista
lógica
spellingShingle Ciencias Exactas
Matemática
Mathematical Logic
álgebra
cálculo proposicional intuicionista
lógica
San Martín, Hernán Javier
Álgebras de Heyting con sucesor
topic_facet Ciencias Exactas
Matemática
Mathematical Logic
álgebra
cálculo proposicional intuicionista
lógica
description En el cálculo proposicional intuicionista podemos considerar los símbolos de conectivos asociados a la implicación, conjunción, disyunción y negación respectivamente. Kuznetsov introdujo un símbolo de conectivo unario nuevo (al que denominamos sucesor), agregando este símbolo en las reglas de formación de fórmulas del intuicionismo y considerando un esquema particular de axiomas. El sucesor constituye un caso particular de conectivo implícito nuevo del cálculo proposicional intuicionista (esta es una diferencia con respecto al cálculo proposicional clásico, en donde no existen conectivos implícitos nuevos). La contraparte algebraica del cálculo introducido por Kuznetsov son las álgebras de Heyting que admiten una función unaria S a la que llamamos sucesor (siendo S parte del lenguaje del álgebra). Esta función forma parte de una familia de operadores compatibles e implícitamente definidos en álgebras de Heyting. Esta tesis se divide en las siguientes tres partes: primero se desarrolla una dualidad de Priestley para álgebras de Heyting con ciertos operadores unarios adicionales y en particular para álgebras de Heyting con sucesor; segundo, se utiliza como herramienta la última dualidad mencionada para obtener propiedades de ciertas subvariedades de la variedad de álgebras de Heyting con sucesor; por último se extienden algunos resultados para el caso de retículos residuados.
author2 Sagastume, Marta Susana
author_facet Sagastume, Marta Susana
San Martín, Hernán Javier
format Tesis
Tesis de doctorado
author San Martín, Hernán Javier
author_sort San Martín, Hernán Javier
title Álgebras de Heyting con sucesor
title_short Álgebras de Heyting con sucesor
title_full Álgebras de Heyting con sucesor
title_fullStr Álgebras de Heyting con sucesor
title_full_unstemmed Álgebras de Heyting con sucesor
title_sort álgebras de heyting con sucesor
publishDate 2011
url http://sedici.unlp.edu.ar/handle/10915/2707
https://doi.org/10.35537/10915/2707
work_keys_str_mv AT sanmartinhernanjavier algebrasdeheytingconsucesor
_version_ 1734112168016609280