Algebras y lógicas con implicación y fusión

Está tesis se centra en el estudio de estructuras algebraicas, llamadas retículos distributivos con fusión o y/o implicación ⇾, o DLF, DLI y DLFI-álgebras introducidas en [13]. Entre las subvariedades de estas estructuras algebraicas se encuentran las álgebras asociadas a diversas lógicas como las Á...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Cabrer, Leonardo Manuel
Otros Autores: Celani, Sergio Arturo
Formato: Tesis Tesis de doctorado
Lenguaje:Español
Publicado: 2008
Materias:
Matemática
estructuras algebraicas
sistemas deductivos
lógicas asociadas
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/161245
https://doi.org/10.35537/10915/161245
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-161245
record_format dspace
spelling I19-R120-10915-1612452023-12-08T04:06:31Z http://sedici.unlp.edu.ar/handle/10915/161245 https://doi.org/10.35537/10915/161245 Algebras y lógicas con implicación y fusión Cabrer, Leonardo Manuel 2008 2008 2023-12-07T11:49:05Z Celani, Sergio Arturo Sagastume, Marta Susana es Matemática estructuras algebraicas sistemas deductivos lógicas asociadas Está tesis se centra en el estudio de estructuras algebraicas, llamadas retículos distributivos con fusión o y/o implicación ⇾, o DLF, DLI y DLFI-álgebras introducidas en [13]. Entre las subvariedades de estas estructuras algebraicas se encuentran las álgebras asociadas a diversas lógicas como las Álgebras Relevantes, Retículos residuados, MV-álgebras, álgebras de Heyting, etc. Estas estructuras algebraicas tienen en común el ser o admitir una estructura de retículo distributivo con operaciones adicionales y, en general, tienen como operaciones básicas una operación binaria de implicación o una operación binaria de fusión. Desde este punto de vista, en [13] S. Celani introduce las DLF, DLI y DLFI-álgebras. En ese mismo trabajo S. Celani desarrolla una dualidad categorial para estas estructuras basada en la dualidad de Priesltey para retículos distributivos. El objetivo principal de esta tesis es profundizar el estudio de estas estructuras algebraicas y estudiar los diferentes sistemas deductivos asociados a estas álgebras. Dado que entre las subvariedades de las DLF, DLI y DLFI-álgebras se encuentran clases de álgebras asociadas a lógicas conocidas, estudiaremos la relación entre los sistemas deductivos asociados a estas álgebras y las lógicas asociadas a las subvariedades antes mencionadas. Para esto estudiaremos la restricción de la dualidad dada en [13], para esto estudiaremos la restricción de la dualidad dada en [13], para aplicarla a las variedades de Retículos residuados integrales conmutativos y acotados, MTL-álgebras IMTL-álgebras y MV-álgebras. Con este objetivo primero analizaremos la relación entre la satisfacción de ciertas ecuaciones en un álgebra dada y ciertas condiciones en su espacio dual. Tesis digitalizada en SEDICI gracias a la Biblioteca del Departamento de Matemática de la Facultad de Ciencias Exactas (UNLP). 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
estructuras algebraicas
sistemas deductivos
lógicas asociadas
spellingShingle Matemática
estructuras algebraicas
sistemas deductivos
lógicas asociadas
Cabrer, Leonardo Manuel
Algebras y lógicas con implicación y fusión
topic_facet Matemática
estructuras algebraicas
sistemas deductivos
lógicas asociadas
description Está tesis se centra en el estudio de estructuras algebraicas, llamadas retículos distributivos con fusión o y/o implicación ⇾, o DLF, DLI y DLFI-álgebras introducidas en [13]. Entre las subvariedades de estas estructuras algebraicas se encuentran las álgebras asociadas a diversas lógicas como las Álgebras Relevantes, Retículos residuados, MV-álgebras, álgebras de Heyting, etc. Estas estructuras algebraicas tienen en común el ser o admitir una estructura de retículo distributivo con operaciones adicionales y, en general, tienen como operaciones básicas una operación binaria de implicación o una operación binaria de fusión. Desde este punto de vista, en [13] S. Celani introduce las DLF, DLI y DLFI-álgebras. En ese mismo trabajo S. Celani desarrolla una dualidad categorial para estas estructuras basada en la dualidad de Priesltey para retículos distributivos. El objetivo principal de esta tesis es profundizar el estudio de estas estructuras algebraicas y estudiar los diferentes sistemas deductivos asociados a estas álgebras. Dado que entre las subvariedades de las DLF, DLI y DLFI-álgebras se encuentran clases de álgebras asociadas a lógicas conocidas, estudiaremos la relación entre los sistemas deductivos asociados a estas álgebras y las lógicas asociadas a las subvariedades antes mencionadas. Para esto estudiaremos la restricción de la dualidad dada en [13], para esto estudiaremos la restricción de la dualidad dada en [13], para aplicarla a las variedades de Retículos residuados integrales conmutativos y acotados, MTL-álgebras IMTL-álgebras y MV-álgebras. Con este objetivo primero analizaremos la relación entre la satisfacción de ciertas ecuaciones en un álgebra dada y ciertas condiciones en su espacio dual.
author2 Celani, Sergio Arturo
author_facet Celani, Sergio Arturo
Cabrer, Leonardo Manuel
format Tesis
Tesis de doctorado
author Cabrer, Leonardo Manuel
author_sort Cabrer, Leonardo Manuel
title Algebras y lógicas con implicación y fusión
title_short Algebras y lógicas con implicación y fusión
title_full Algebras y lógicas con implicación y fusión
title_fullStr Algebras y lógicas con implicación y fusión
title_full_unstemmed Algebras y lógicas con implicación y fusión
title_sort algebras y lógicas con implicación y fusión
publishDate 2008
url http://sedici.unlp.edu.ar/handle/10915/161245
https://doi.org/10.35537/10915/161245
work_keys_str_mv AT cabrerleonardomanuel algebrasylogicasconimplicacionyfusion
_version_ 1807222089110781952

Ejemplares similares