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

Autores
Cabrer, Leonardo Manuel
Año de publicación
2008
Idioma
español castellano
Tipo de recurso
tesis doctoral
Estado
versión aceptada
Colaborador/a o director/a de tesis
Celani, Sergio Arturo
Sagastume, Marta Susana
Descripció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 Á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
Materia
Matemática
estructuras algebraicas
sistemas deductivos
lógicas asociadas
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/161245
Acceder
id SEDICI_703b03f58380cbb812024ae57ab04031
oai_identifier_str oai:sedici.unlp.edu.ar:10915/161245
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Algebras y lógicas con implicación y fusiónCabrer, Leonardo ManuelMatemáticaestructuras algebraicassistemas deductivoslógicas asociadasEstá 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áticaUniversidad Nacional de La PlataFacultad de Ciencias ExactasCelani, Sergio ArturoSagastume, Marta Susana2008info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/acceptedVersionTesis de doctoradohttp://purl.org/coar/resource_type/c_db06info:ar-repo/semantics/tesisDoctoralapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/161245https://doi.org/10.35537/10915/161245spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T11:14:14Zoai:sedici.unlp.edu.ar:10915/161245Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 11:14:15.041SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Algebras y lógicas con implicación y fusión
title Algebras y lógicas con implicación y fusión
spellingShingle Algebras y lógicas con implicación y fusión
Cabrer, Leonardo Manuel
Matemática
estructuras algebraicas
sistemas deductivos
lógicas asociadas
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
dc.creator.none.fl_str_mv Cabrer, Leonardo Manuel
author Cabrer, Leonardo Manuel
author_facet Cabrer, Leonardo Manuel
author_role author
dc.contributor.none.fl_str_mv Celani, Sergio Arturo
Sagastume, Marta Susana
dc.subject.none.fl_str_mv Matemática
estructuras algebraicas
sistemas deductivos
lógicas asociadas
topic Matemática
estructuras algebraicas
sistemas deductivos
lógicas asociadas
dc.description.none.fl_txt_mv 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
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.
publishDate 2008
dc.date.none.fl_str_mv 2008
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/acceptedVersion
Tesis de doctorado
http://purl.org/coar/resource_type/c_db06
info:ar-repo/semantics/tesisDoctoral
format doctoralThesis
status_str acceptedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/161245
https://doi.org/10.35537/10915/161245
url http://sedici.unlp.edu.ar/handle/10915/161245
https://doi.org/10.35537/10915/161245
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260647390216192
score 13.13397

Publicaciones similares