Á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

Guardado en:

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:	Ciencias Exactas Matemática Mathematical Logic álgebra cálculo proposicional intuicionista lógica
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

id	I19-R120-10915-2707
record_format	dspace
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
bdutipo_str	Repositorios
_version_	1764820467429933057

Álgebras de Heyting con sucesor

Ejemplares similares