Un estudio sobre estructuras hemi-implicativas

La tesis se centra en el estudio de las estructuras hemi-implicativas y se divide en 5 capı́tulos. En el primer capı́tulo se presentan las variedades de retı́culos y semi-retı́culos hemi-implicativos, y se mencionan algunos ejemplos conocidos en la literatura de este tipo de estructuras. Entre estos...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Mallea, Héctor Federico
Otros Autores: Castiglioni, José Luis
Formato: Tesis Tesis de doctorado
Lenguaje:Español
Publicado: 2023
Materias:
Matemática
hemi-implicativa
retículos
semi-retículos
congruencias
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/161550
https://doi.org/10.35537/10915/161550
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-161550
record_format dspace
spelling I19-R120-10915-1615502023-12-16T04:06:04Z http://sedici.unlp.edu.ar/handle/10915/161550 https://doi.org/10.35537/10915/161550 Un estudio sobre estructuras hemi-implicativas Mallea, Héctor Federico 2023-10-25 2023 2023-12-15T13:30:27Z Castiglioni, José Luis San Martín, Hernán Javier Fernández, Víctor Leandro es Matemática hemi-implicativa retículos semi-retículos congruencias La tesis se centra en el estudio de las estructuras hemi-implicativas y se divide en 5 capı́tulos. En el primer capı́tulo se presentan las variedades de retı́culos y semi-retı́culos hemi-implicativos, y se mencionan algunos ejemplos conocidos en la literatura de este tipo de estructuras. Entre estos ejemplos se destacan: Los semi-retı́culos implicativos. Las RW H-álgebras. Los retı́culos subresiduados. Las álgebras de semi-Heyting. Las álgebras de Hilbert con ı́nfimo. En el segundo capı́tulo se estudian algunos subreductos de los retı́culos subresiduados, en particular la cuasivariedad de álgebras de sub-Hilbert y la variedad de los semi-retı́culos subresiduados, luego se estudia una generalización de los retı́culos subresiduados donde el retı́culo subyacente no es necesariamente distributivo. Por último, se presenta una variedad que generaliza tanto a la variedad de las álgebras de Hilbert como a la de las álgebras de Hilbert con ı́nfimo, cuyos miembros llamamos semi-retı́culos de sub-Hilbert. En el tercer capı́tulo se estudia una representación de los retı́culos de sub- Hilbert por medio de ternas, una representación de los retı́culos de Hilbert por pares y luego se estudian las congruencias de los retı́culos de sub-Hilbert. En el cuarto capı́tulo se introduce una subvariedad propia de la variedad de los semi-retı́culos hemi-implicativos que contiene propiamente a cada una de las subvariedades estudiadas en esta tesis. Además, se presenta un teorema de representación para la variedad hallada. Por último, en el quinto capı́tulo se introduce una lógica proposicional algebrizable cuya semántica algebraica coincide con la cuasivariedad de álgebras de sub-Hilbert. Luego se estudian algunas expansiones de esta lógica con sus respectivas semánticas algebraicas y para algunas de ellas se estudia la propiedad de los modelos finitos. Doctor en Ciencias Exactas, área Matemática Universidad Nacional de La Plata 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 Matemática
hemi-implicativa
retículos
semi-retículos
congruencias
spellingShingle Matemática
hemi-implicativa
retículos
semi-retículos
congruencias
Mallea, Héctor Federico
Un estudio sobre estructuras hemi-implicativas
topic_facet Matemática
hemi-implicativa
retículos
semi-retículos
congruencias
description La tesis se centra en el estudio de las estructuras hemi-implicativas y se divide en 5 capı́tulos. En el primer capı́tulo se presentan las variedades de retı́culos y semi-retı́culos hemi-implicativos, y se mencionan algunos ejemplos conocidos en la literatura de este tipo de estructuras. Entre estos ejemplos se destacan: Los semi-retı́culos implicativos. Las RW H-álgebras. Los retı́culos subresiduados. Las álgebras de semi-Heyting. Las álgebras de Hilbert con ı́nfimo. En el segundo capı́tulo se estudian algunos subreductos de los retı́culos subresiduados, en particular la cuasivariedad de álgebras de sub-Hilbert y la variedad de los semi-retı́culos subresiduados, luego se estudia una generalización de los retı́culos subresiduados donde el retı́culo subyacente no es necesariamente distributivo. Por último, se presenta una variedad que generaliza tanto a la variedad de las álgebras de Hilbert como a la de las álgebras de Hilbert con ı́nfimo, cuyos miembros llamamos semi-retı́culos de sub-Hilbert. En el tercer capı́tulo se estudia una representación de los retı́culos de sub- Hilbert por medio de ternas, una representación de los retı́culos de Hilbert por pares y luego se estudian las congruencias de los retı́culos de sub-Hilbert. En el cuarto capı́tulo se introduce una subvariedad propia de la variedad de los semi-retı́culos hemi-implicativos que contiene propiamente a cada una de las subvariedades estudiadas en esta tesis. Además, se presenta un teorema de representación para la variedad hallada. Por último, en el quinto capı́tulo se introduce una lógica proposicional algebrizable cuya semántica algebraica coincide con la cuasivariedad de álgebras de sub-Hilbert. Luego se estudian algunas expansiones de esta lógica con sus respectivas semánticas algebraicas y para algunas de ellas se estudia la propiedad de los modelos finitos.
author2 Castiglioni, José Luis
author_facet Castiglioni, José Luis
Mallea, Héctor Federico
format Tesis
Tesis de doctorado
author Mallea, Héctor Federico
author_sort Mallea, Héctor Federico
title Un estudio sobre estructuras hemi-implicativas
title_short Un estudio sobre estructuras hemi-implicativas
title_full Un estudio sobre estructuras hemi-implicativas
title_fullStr Un estudio sobre estructuras hemi-implicativas
title_full_unstemmed Un estudio sobre estructuras hemi-implicativas
title_sort un estudio sobre estructuras hemi-implicativas
publishDate 2023
url http://sedici.unlp.edu.ar/handle/10915/161550
https://doi.org/10.35537/10915/161550
work_keys_str_mv AT malleahectorfederico unestudiosobreestructurashemiimplicativas
_version_ 1807222165706113024

Ejemplares similares