Un estudio sobre lógicas basadas en t-normas continuas

Autores
Savoy Gonzalez, Gabriel Felix
Año de publicación
2025
Idioma
español castellano
Tipo de recurso
tesis doctoral
Estado
versión aceptada
Colaborador/a o director/a de tesis
Díaz Varela, José Patricio
Descripción
Esta tesis se centra en el estudio de la lógica de primer orden de t-normas continuas y algunos de sus fragmentos monádicos. Contribuye al campo de las lógicas difusas, una rama de las lógicas no clásicas, que permite deducciones lógicas con un grado de vaguedad o imprecisión. Investigadores como Hájek han propuesto el uso de t-normas, operaciones definidas en el intervalo real [0, 1], para lograr esto. En la lógica difusa estándar, las t-normas modelan conjunciones fuertes, mientras que otros conectivos se interpretan a través de operaciones derivadas del orden y/o la t-norma. Nos concentramos en las t-normas continuas, que poseen una rica estructura algebraica, a saber, la estructura de las BL-álgebras, una variedad de retículos residuados generados por t-normas continuas. La lógica básica, o lógica BL, sirve como la contraparte sintáctica de las lógicas con semántica en BL-álgebras. Notablemente, otras lógicas no clásicas estudiadas previamente, como la lógica de Łukasiewicz, son casos particulares de lógicas basadas en BL-álgebras. Si las BL-álgebras tienen negación involutiva, forman MV-álgebras, correspondientes a la lógica proposicional de Łukasiewicz. El estudio de las lógicas de primer orden basadas en t-normas continuas, o lógicas de predicados difusos, es crucial en la lógica difusa. Siguiendo la tradición de Mostowski, interpretamos los cuantificadores como supremos e ínfimos en un conjunto ordenado. Comenzamos con el sistema BL∀ de Hájek, que axiomatiza la lógica de primer orden de BL-álgebras totalmente ordenadas. Una característica de estas lógicas es su naturaleza infinitaria, lo que nos lleva a introducir BL∀∞, una extensión que incorpora una regla y un axioma infinitarios. Demostramos que BL∀∞ es fuertemente completa con respecto a las t-normas continuas, y sus extensiones a la lógica de primer orden producto y la lógica de Łukasiewicz también son fuertemente completas. Además, exploramos extensiones modales de la lógica de Łukasiewicz, particularmente la extensión S5, equivalente al fragmento monádico de la lógica de primer orden de Łukasiewicz. Realizamos un estudio algebraico de las MMV-álgebras, MV-álgebras enriquecidas con operadores □ y ♢, mostrando que las álgebras finitamente subdirectamente irreducibles en esta variedad son álgebras funcionales. Esto lleva a un resultado de completitud fuertemente finita para la t-norma de Łukasiewicz. Al extender la lógica S5 de Łukasiewicz con una regla infinitaria, logramos completitud fuerte con respecto a la t-norma de Łukasiewicz. Finalmente, presentamos extensiones axiomáticas para modelos de universo acotado, incorporando un axioma esquema que limita el número de factores subdirectos de la MV- álgebra subyacente, permitiendo de esta manera conseguir resultados de completitud para esta extensión.
This thesis focuses on the study of first-order logic of continuous t-norms and some of their monadic fragments. It contributes to the field of fuzzy logics, a branch of non-classical logics, which allows for logical deductions with a degree of vagueness or imprecision. Researchers like Hájek have proposed using t-norms, operations defined on the real interval [0, 1], to achieve this. In standard fuzzy logic, t-norms model strong conjunctions, while other connectives are interpreted through operations derived from order and/or the t- norm. We concentrate on continuous t-norms, which possess a rich algebraic structure, na- mely, the structure of BL-algebras, a variety of residuated lattices generated by continuous t-norms. The basic logic, or BL logic, serves as the syntactic counterpart of logics with semantics in BL-algebras. Notably, other previously studied non-classical logics, such as Łukasiewicz logic, are particular cases of logics based on BL-algebras. If BL-algebras have involutive negation, they form MV-algebras, corresponding to propositional Łukasiewicz logic. The study of first-order logics based on continuous t-norms, or fuzzy predicate logics, is crucial in fuzzy logic. Following Mostowski’s tradition, we interpret quantifiers as suprema and infima in an ordered set. We start with Hájek’s BL∀ system, which axiomatizes the first-order logic of totally ordered BL-algebras. A characteristic of these logics is their infinitary nature, leading us to introduce BL∀∞, an extension incorporating an infinitary rule and an axiom. We demonstrate that BL∀∞ is strongly complete concerning continuous t-norms, and its extensions to first-order product logic and Łukasiewicz logic are also strongly complete. Additionally, we explore modal extensions of Łukasiewicz logic, particularly the S5 extension, equivalent to the monadic fragment of first-order Łukasiewicz logic. We con- duct an algebraic study of MMV-algebras, enriched MV-algebras with operators □ and ♢, showing that finitely subdirectly irreducible algebras in this variety are functional al- gebras. This leads to a finitely strong completeness result for the Łukasiewicz t-norm. By extending S5 Łukasiewicz logic with an infinitary rule, we achieve strong completeness concerning the Łukasiewicz t-norm. Finally, we present axiomatically complete extensions for bounded universe models, in- corporating an axiom scheme that limits the number of subdirect factors of the underlying MV-algebra, leading to completeness results.
Fil: Savoy Gonzalez, Gabriel Felix. Universidad Nacional del Sur. Departamento de Matemática; Argentina
Materia
Matemática
Lógica difusa
t-normas continuas
Completitud fuerte
Primer orden difuso
Lógica monádica difusa
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by/4.0/
Repositorio
Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS)
Institución
Universidad Nacional del Sur
OAI Identificador
oai:repositorio.bc.uns.edu.ar:123456789/7289

id RID-UNS_12cdb998768a5c9819f8905866a095a4
oai_identifier_str oai:repositorio.bc.uns.edu.ar:123456789/7289
network_acronym_str RID-UNS
repository_id_str
network_name_str Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS)
spelling Un estudio sobre lógicas basadas en t-normas continuasSavoy Gonzalez, Gabriel FelixMatemáticaLógica difusat-normas continuasCompletitud fuertePrimer orden difusoLógica monádica difusaEsta tesis se centra en el estudio de la lógica de primer orden de t-normas continuas y algunos de sus fragmentos monádicos. Contribuye al campo de las lógicas difusas, una rama de las lógicas no clásicas, que permite deducciones lógicas con un grado de vaguedad o imprecisión. Investigadores como Hájek han propuesto el uso de t-normas, operaciones definidas en el intervalo real [0, 1], para lograr esto. En la lógica difusa estándar, las t-normas modelan conjunciones fuertes, mientras que otros conectivos se interpretan a través de operaciones derivadas del orden y/o la t-norma. Nos concentramos en las t-normas continuas, que poseen una rica estructura algebraica, a saber, la estructura de las BL-álgebras, una variedad de retículos residuados generados por t-normas continuas. La lógica básica, o lógica BL, sirve como la contraparte sintáctica de las lógicas con semántica en BL-álgebras. Notablemente, otras lógicas no clásicas estudiadas previamente, como la lógica de Łukasiewicz, son casos particulares de lógicas basadas en BL-álgebras. Si las BL-álgebras tienen negación involutiva, forman MV-álgebras, correspondientes a la lógica proposicional de Łukasiewicz. El estudio de las lógicas de primer orden basadas en t-normas continuas, o lógicas de predicados difusos, es crucial en la lógica difusa. Siguiendo la tradición de Mostowski, interpretamos los cuantificadores como supremos e ínfimos en un conjunto ordenado. Comenzamos con el sistema BL∀ de Hájek, que axiomatiza la lógica de primer orden de BL-álgebras totalmente ordenadas. Una característica de estas lógicas es su naturaleza infinitaria, lo que nos lleva a introducir BL∀∞, una extensión que incorpora una regla y un axioma infinitarios. Demostramos que BL∀∞ es fuertemente completa con respecto a las t-normas continuas, y sus extensiones a la lógica de primer orden producto y la lógica de Łukasiewicz también son fuertemente completas. Además, exploramos extensiones modales de la lógica de Łukasiewicz, particularmente la extensión S5, equivalente al fragmento monádico de la lógica de primer orden de Łukasiewicz. Realizamos un estudio algebraico de las MMV-álgebras, MV-álgebras enriquecidas con operadores □ y ♢, mostrando que las álgebras finitamente subdirectamente irreducibles en esta variedad son álgebras funcionales. Esto lleva a un resultado de completitud fuertemente finita para la t-norma de Łukasiewicz. Al extender la lógica S5 de Łukasiewicz con una regla infinitaria, logramos completitud fuerte con respecto a la t-norma de Łukasiewicz. Finalmente, presentamos extensiones axiomáticas para modelos de universo acotado, incorporando un axioma esquema que limita el número de factores subdirectos de la MV- álgebra subyacente, permitiendo de esta manera conseguir resultados de completitud para esta extensión.This thesis focuses on the study of first-order logic of continuous t-norms and some of their monadic fragments. It contributes to the field of fuzzy logics, a branch of non-classical logics, which allows for logical deductions with a degree of vagueness or imprecision. Researchers like Hájek have proposed using t-norms, operations defined on the real interval [0, 1], to achieve this. In standard fuzzy logic, t-norms model strong conjunctions, while other connectives are interpreted through operations derived from order and/or the t- norm. We concentrate on continuous t-norms, which possess a rich algebraic structure, na- mely, the structure of BL-algebras, a variety of residuated lattices generated by continuous t-norms. The basic logic, or BL logic, serves as the syntactic counterpart of logics with semantics in BL-algebras. Notably, other previously studied non-classical logics, such as Łukasiewicz logic, are particular cases of logics based on BL-algebras. If BL-algebras have involutive negation, they form MV-algebras, corresponding to propositional Łukasiewicz logic. The study of first-order logics based on continuous t-norms, or fuzzy predicate logics, is crucial in fuzzy logic. Following Mostowski’s tradition, we interpret quantifiers as suprema and infima in an ordered set. We start with Hájek’s BL∀ system, which axiomatizes the first-order logic of totally ordered BL-algebras. A characteristic of these logics is their infinitary nature, leading us to introduce BL∀∞, an extension incorporating an infinitary rule and an axiom. We demonstrate that BL∀∞ is strongly complete concerning continuous t-norms, and its extensions to first-order product logic and Łukasiewicz logic are also strongly complete. Additionally, we explore modal extensions of Łukasiewicz logic, particularly the S5 extension, equivalent to the monadic fragment of first-order Łukasiewicz logic. We con- duct an algebraic study of MMV-algebras, enriched MV-algebras with operators □ and ♢, showing that finitely subdirectly irreducible algebras in this variety are functional al- gebras. This leads to a finitely strong completeness result for the Łukasiewicz t-norm. By extending S5 Łukasiewicz logic with an infinitary rule, we achieve strong completeness concerning the Łukasiewicz t-norm. Finally, we present axiomatically complete extensions for bounded universe models, in- corporating an axiom scheme that limits the number of subdirect factors of the underlying MV-algebra, leading to completeness results.Fil: Savoy Gonzalez, Gabriel Felix. Universidad Nacional del Sur. Departamento de Matemática; ArgentinaDíaz Varela, José Patricio2025-06-12info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/acceptedVersionhttp://purl.org/coar/resource_type/c_db06info:ar-repo/semantics/tesisDoctoralapplication/pdfhttps://repositoriodigital.uns.edu.ar/handle/123456789/7289spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0/reponame:Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS)instname:Universidad Nacional del Sur2025-09-04T09:44:49Zoai:repositorio.bc.uns.edu.ar:123456789/7289instacron:UNSInstitucionalhttp://repositoriodigital.uns.edu.ar/Universidad públicaNo correspondehttp://repositoriodigital.uns.edu.ar/oaimesnaola@uns.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:2025-09-04 09:44:50.189Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS) - Universidad Nacional del Surfalse
dc.title.none.fl_str_mv Un estudio sobre lógicas basadas en t-normas continuas
title Un estudio sobre lógicas basadas en t-normas continuas
spellingShingle Un estudio sobre lógicas basadas en t-normas continuas
Savoy Gonzalez, Gabriel Felix
Matemática
Lógica difusa
t-normas continuas
Completitud fuerte
Primer orden difuso
Lógica monádica difusa
title_short Un estudio sobre lógicas basadas en t-normas continuas
title_full Un estudio sobre lógicas basadas en t-normas continuas
title_fullStr Un estudio sobre lógicas basadas en t-normas continuas
title_full_unstemmed Un estudio sobre lógicas basadas en t-normas continuas
title_sort Un estudio sobre lógicas basadas en t-normas continuas
dc.creator.none.fl_str_mv Savoy Gonzalez, Gabriel Felix
author Savoy Gonzalez, Gabriel Felix
author_facet Savoy Gonzalez, Gabriel Felix
author_role author
dc.contributor.none.fl_str_mv Díaz Varela, José Patricio
dc.subject.none.fl_str_mv Matemática
Lógica difusa
t-normas continuas
Completitud fuerte
Primer orden difuso
Lógica monádica difusa
topic Matemática
Lógica difusa
t-normas continuas
Completitud fuerte
Primer orden difuso
Lógica monádica difusa
dc.description.none.fl_txt_mv Esta tesis se centra en el estudio de la lógica de primer orden de t-normas continuas y algunos de sus fragmentos monádicos. Contribuye al campo de las lógicas difusas, una rama de las lógicas no clásicas, que permite deducciones lógicas con un grado de vaguedad o imprecisión. Investigadores como Hájek han propuesto el uso de t-normas, operaciones definidas en el intervalo real [0, 1], para lograr esto. En la lógica difusa estándar, las t-normas modelan conjunciones fuertes, mientras que otros conectivos se interpretan a través de operaciones derivadas del orden y/o la t-norma. Nos concentramos en las t-normas continuas, que poseen una rica estructura algebraica, a saber, la estructura de las BL-álgebras, una variedad de retículos residuados generados por t-normas continuas. La lógica básica, o lógica BL, sirve como la contraparte sintáctica de las lógicas con semántica en BL-álgebras. Notablemente, otras lógicas no clásicas estudiadas previamente, como la lógica de Łukasiewicz, son casos particulares de lógicas basadas en BL-álgebras. Si las BL-álgebras tienen negación involutiva, forman MV-álgebras, correspondientes a la lógica proposicional de Łukasiewicz. El estudio de las lógicas de primer orden basadas en t-normas continuas, o lógicas de predicados difusos, es crucial en la lógica difusa. Siguiendo la tradición de Mostowski, interpretamos los cuantificadores como supremos e ínfimos en un conjunto ordenado. Comenzamos con el sistema BL∀ de Hájek, que axiomatiza la lógica de primer orden de BL-álgebras totalmente ordenadas. Una característica de estas lógicas es su naturaleza infinitaria, lo que nos lleva a introducir BL∀∞, una extensión que incorpora una regla y un axioma infinitarios. Demostramos que BL∀∞ es fuertemente completa con respecto a las t-normas continuas, y sus extensiones a la lógica de primer orden producto y la lógica de Łukasiewicz también son fuertemente completas. Además, exploramos extensiones modales de la lógica de Łukasiewicz, particularmente la extensión S5, equivalente al fragmento monádico de la lógica de primer orden de Łukasiewicz. Realizamos un estudio algebraico de las MMV-álgebras, MV-álgebras enriquecidas con operadores □ y ♢, mostrando que las álgebras finitamente subdirectamente irreducibles en esta variedad son álgebras funcionales. Esto lleva a un resultado de completitud fuertemente finita para la t-norma de Łukasiewicz. Al extender la lógica S5 de Łukasiewicz con una regla infinitaria, logramos completitud fuerte con respecto a la t-norma de Łukasiewicz. Finalmente, presentamos extensiones axiomáticas para modelos de universo acotado, incorporando un axioma esquema que limita el número de factores subdirectos de la MV- álgebra subyacente, permitiendo de esta manera conseguir resultados de completitud para esta extensión.
This thesis focuses on the study of first-order logic of continuous t-norms and some of their monadic fragments. It contributes to the field of fuzzy logics, a branch of non-classical logics, which allows for logical deductions with a degree of vagueness or imprecision. Researchers like Hájek have proposed using t-norms, operations defined on the real interval [0, 1], to achieve this. In standard fuzzy logic, t-norms model strong conjunctions, while other connectives are interpreted through operations derived from order and/or the t- norm. We concentrate on continuous t-norms, which possess a rich algebraic structure, na- mely, the structure of BL-algebras, a variety of residuated lattices generated by continuous t-norms. The basic logic, or BL logic, serves as the syntactic counterpart of logics with semantics in BL-algebras. Notably, other previously studied non-classical logics, such as Łukasiewicz logic, are particular cases of logics based on BL-algebras. If BL-algebras have involutive negation, they form MV-algebras, corresponding to propositional Łukasiewicz logic. The study of first-order logics based on continuous t-norms, or fuzzy predicate logics, is crucial in fuzzy logic. Following Mostowski’s tradition, we interpret quantifiers as suprema and infima in an ordered set. We start with Hájek’s BL∀ system, which axiomatizes the first-order logic of totally ordered BL-algebras. A characteristic of these logics is their infinitary nature, leading us to introduce BL∀∞, an extension incorporating an infinitary rule and an axiom. We demonstrate that BL∀∞ is strongly complete concerning continuous t-norms, and its extensions to first-order product logic and Łukasiewicz logic are also strongly complete. Additionally, we explore modal extensions of Łukasiewicz logic, particularly the S5 extension, equivalent to the monadic fragment of first-order Łukasiewicz logic. We con- duct an algebraic study of MMV-algebras, enriched MV-algebras with operators □ and ♢, showing that finitely subdirectly irreducible algebras in this variety are functional al- gebras. This leads to a finitely strong completeness result for the Łukasiewicz t-norm. By extending S5 Łukasiewicz logic with an infinitary rule, we achieve strong completeness concerning the Łukasiewicz t-norm. Finally, we present axiomatically complete extensions for bounded universe models, in- corporating an axiom scheme that limits the number of subdirect factors of the underlying MV-algebra, leading to completeness results.
Fil: Savoy Gonzalez, Gabriel Felix. Universidad Nacional del Sur. Departamento de Matemática; Argentina
description Esta tesis se centra en el estudio de la lógica de primer orden de t-normas continuas y algunos de sus fragmentos monádicos. Contribuye al campo de las lógicas difusas, una rama de las lógicas no clásicas, que permite deducciones lógicas con un grado de vaguedad o imprecisión. Investigadores como Hájek han propuesto el uso de t-normas, operaciones definidas en el intervalo real [0, 1], para lograr esto. En la lógica difusa estándar, las t-normas modelan conjunciones fuertes, mientras que otros conectivos se interpretan a través de operaciones derivadas del orden y/o la t-norma. Nos concentramos en las t-normas continuas, que poseen una rica estructura algebraica, a saber, la estructura de las BL-álgebras, una variedad de retículos residuados generados por t-normas continuas. La lógica básica, o lógica BL, sirve como la contraparte sintáctica de las lógicas con semántica en BL-álgebras. Notablemente, otras lógicas no clásicas estudiadas previamente, como la lógica de Łukasiewicz, son casos particulares de lógicas basadas en BL-álgebras. Si las BL-álgebras tienen negación involutiva, forman MV-álgebras, correspondientes a la lógica proposicional de Łukasiewicz. El estudio de las lógicas de primer orden basadas en t-normas continuas, o lógicas de predicados difusos, es crucial en la lógica difusa. Siguiendo la tradición de Mostowski, interpretamos los cuantificadores como supremos e ínfimos en un conjunto ordenado. Comenzamos con el sistema BL∀ de Hájek, que axiomatiza la lógica de primer orden de BL-álgebras totalmente ordenadas. Una característica de estas lógicas es su naturaleza infinitaria, lo que nos lleva a introducir BL∀∞, una extensión que incorpora una regla y un axioma infinitarios. Demostramos que BL∀∞ es fuertemente completa con respecto a las t-normas continuas, y sus extensiones a la lógica de primer orden producto y la lógica de Łukasiewicz también son fuertemente completas. Además, exploramos extensiones modales de la lógica de Łukasiewicz, particularmente la extensión S5, equivalente al fragmento monádico de la lógica de primer orden de Łukasiewicz. Realizamos un estudio algebraico de las MMV-álgebras, MV-álgebras enriquecidas con operadores □ y ♢, mostrando que las álgebras finitamente subdirectamente irreducibles en esta variedad son álgebras funcionales. Esto lleva a un resultado de completitud fuertemente finita para la t-norma de Łukasiewicz. Al extender la lógica S5 de Łukasiewicz con una regla infinitaria, logramos completitud fuerte con respecto a la t-norma de Łukasiewicz. Finalmente, presentamos extensiones axiomáticas para modelos de universo acotado, incorporando un axioma esquema que limita el número de factores subdirectos de la MV- álgebra subyacente, permitiendo de esta manera conseguir resultados de completitud para esta extensión.
publishDate 2025
dc.date.none.fl_str_mv 2025-06-12
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/acceptedVersion
http://purl.org/coar/resource_type/c_db06
info:ar-repo/semantics/tesisDoctoral
format doctoralThesis
status_str acceptedVersion
dc.identifier.none.fl_str_mv https://repositoriodigital.uns.edu.ar/handle/123456789/7289
url https://repositoriodigital.uns.edu.ar/handle/123456789/7289
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/4.0/
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0/
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS)
instname:Universidad Nacional del Sur
reponame_str Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS)
collection Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS)
instname_str Universidad Nacional del Sur
repository.name.fl_str_mv Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS) - Universidad Nacional del Sur
repository.mail.fl_str_mv mesnaola@uns.edu.ar
_version_ 1842341320926953472
score 12.623145