Rational and Delta expansions of the Nilpotent Minimum Logic

Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 202x-202x. Tutor: xxx

Detalles Bibliográficos
Autor: Sempere Camín, Paula
Tipo de recurso: tesis de maestría
Fecha de publicación:2024
País:España
Institución:Universidad de Barcelona
Repositorio:Dipòsit Digital de la UB
OAI Identifier:oai:diposit.ub.edu:2445/214665
Acceso en línea:https://hdl.handle.net/2445/214665
Access Level:acceso abierto
Palabra clave:Lògica
Lógica difusa
Lógica algebraica
Varietats algebraiques
Treballs de fi de màster
Logic
Fuzzy logic
Algebraic logic
Algebraic varieties
Master's thesis
id ES_40d660cfedb419119bf64c829d381b10
oai_identifier_str oai:diposit.ub.edu:2445/214665
network_acronym_str ES
network_name_str España
repository_id_str
dc.title.none.fl_str_mv Rational and Delta expansions of the Nilpotent Minimum Logic
title Rational and Delta expansions of the Nilpotent Minimum Logic
spellingShingle Rational and Delta expansions of the Nilpotent Minimum Logic
Sempere Camín, Paula
Lògica
Lógica difusa
Lógica algebraica
Varietats algebraiques
Treballs de fi de màster
Logic
Fuzzy logic
Algebraic logic
Algebraic varieties
Master's thesis
title_short Rational and Delta expansions of the Nilpotent Minimum Logic
title_full Rational and Delta expansions of the Nilpotent Minimum Logic
title_fullStr Rational and Delta expansions of the Nilpotent Minimum Logic
title_full_unstemmed Rational and Delta expansions of the Nilpotent Minimum Logic
title_sort Rational and Delta expansions of the Nilpotent Minimum Logic
dc.creator.none.fl_str_mv Sempere Camín, Paula
author Sempere Camín, Paula
author_facet Sempere Camín, Paula
author_role author
dc.contributor.none.fl_str_mv Gispert Brasó, Joan
dc.subject.none.fl_str_mv Lògica
Lógica difusa
Lógica algebraica
Varietats algebraiques
Treballs de fi de màster
Logic
Fuzzy logic
Algebraic logic
Algebraic varieties
Master's thesis
topic Lògica
Lógica difusa
Lógica algebraica
Varietats algebraiques
Treballs de fi de màster
Logic
Fuzzy logic
Algebraic logic
Algebraic varieties
Master's thesis
description Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 202x-202x. Tutor: xxx
publishDate 2024
dc.date.none.fl_str_mv 2024
dc.type.none.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/2445/214665
url https://hdl.handle.net/2445/214665
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.rights.none.fl_str_mv cc by-nc-nd (c) Sempera Camín, 2024
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv cc by-nc-nd (c) Sempera Camín, 2024
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada
reponame:Dipòsit Digital de la UB
instname:Universidad de Barcelona
instname_str Universidad de Barcelona
reponame_str Dipòsit Digital de la UB
collection Dipòsit Digital de la UB
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869406784214532096
spelling Rational and Delta expansions of the Nilpotent Minimum LogicSempere Camín, PaulaLògicaLógica difusaLógica algebraicaVarietats algebraiquesTreballs de fi de màsterLogicFuzzy logicAlgebraic logicAlgebraic varietiesMaster's thesisTreballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 202x-202x. Tutor: xxx[eng] The aim of this thesis is to study some expansions of the Nilpotent minimum logic (denoted by NML), focusing on their lattices of axiomatic and finitary extensions and, additionally, exploring the structural completeness of these logics, alongside their variants (active structural completeness, passive structural completeness, ... ). The project includes research about the rational Nilpotent minimum logic (designated by RNML), which is obtained by adding rational constants to the language of NML. Moreover, we also study the Δ-core fuzzy logic obtained by expanding the language of NML with the Baaz Delta connective and examine the impact of the incorporation of rational constants to the language of this logic (which is equivalent to the addition of the Baaz Delta connective to RNML). The thesis culminates with the corresponding analysis of an extension of the later logic which is obtained by introducing bookkeeping axioms for the Δ operator, motivated by the aim for the algebra of constants to form a subalgebra. In the project, through comparative analysis, the differences and similarities between the lattices of axiomatic and finitary extensions among the previously mentioned expansions are evaluated, as well as how the structural completeness results obtained may vary from one logic to another.[spa] El objetivo de esta tesis es estudiar algunas expansiones de la lógica del Nilpotente mínimo (denotada por NML), centrándonos en sus retículos de extensiones axiomáticas y finitas y, además, explorando la completitud estructural de estas lógicas, junto con sus variantes (completitud estructural activa, completitud estructural pasiva, ...). El proyecto abarca la lógica racional del Nilpotente mínimo (designada por RNML), que se obtiene añadiendo constantes racionales al lenguaje de NML. También se estudia la lógica fuzzy Δ-core obtenida mediante la expansión del lenguaje de NML con el operador Delta de Baaz, y se examina el impacto de la incorporaci´on de constantes racionales al lenguaje de esta lógica (lo que equivale a añadir el operador Delta de Baaz a RNML). La tesis culmina con el correspondiente análisis de una extensión de la ´ultima lógica presentada, resultante de la introducción de bookkeeping axioms para el operador Δ, motivada por el objetivo de que el álgebra de constantes forme una subálgebra. En el proyecto, a través de un análisis comparativo, se evalúan las diferencias y similitudes entre los retículos de extensiones axiomáticas y finitas de las distintas expansiones mencionadas anteriormente, así como la forma en que varían los resultados de completitud estructural de una lógica a otra.[cat] L’objectiu d’aquesta tesi és estudiar algunes expansions de la lògica del Nilpotent mínim (denotada per NML), centrant-nos en els seus reticles d’extensions axiomàtiques i finites i, a més, explorant la completitud estructural d’aquestes lògiques, juntament amb les seves variants (completitud estructural activa, completitud estructural passiva, ...). El projecte abasta la lògica racional del Nilpotent mínim (designada per RNML), que s’obté afegint constants racionals al llenguatge de NML. També s’estudia la lògica fuzzy Δ-core obtinguda mitjançant l’expansió del llenguatge de NML amb l’operador Delta de Baaz, i s’examina l’impacte de la incorporació de constants racionals al llenguatge d’aquesta lògica (el que equival a afegir l’operador Delta de Baaz a RNML). La tesi culmina amb l’anàlisi corresponent d’una extensió de l'última lògica presentada, que resulta de la introducció de bookkeeping axioms per a l’operador Δ, motivada per l’objectiu que l'àlgebra de constants formi una subàlgebra. En el projecte, mitjançant una anàlisi comparativa, s’avaluen les diferències i similituds entre els reticles d’extensions axiomàtiques i finites de les diferents expansions esmentades anteriorment, així com la manera com varien els resultats de completitud estructural d’una lògica a una altra.Gispert Brasó, Joan2024info:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/2445/214665Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicadareponame:Dipòsit Digital de la UBinstname:Universidad de BarcelonaIngléscc by-nc-nd (c) Sempera Camín, 2024http://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/openAccessoai:diposit.ub.edu:2445/2146652026-05-27T06:46:51Z
score 15,81155

Similares en LA Referencia