Meet-irreducible elements in the poset of all logics

Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2023-2024. Tutor: Tommaso Moraschini

Bibliographic Details
Author: Muñoz Pérez, MIguel
Format: master thesis
Publication Date:2024
Country:España
Institution:Universidad de Barcelona
Repository:Dipòsit Digital de la UB
OAI Identifier:oai:diposit.ub.edu:2445/214664
Online Access:https://hdl.handle.net/2445/214664
Access Level:Open access
Keyword:Lògica
Logica algebraica
Modalitat (Lògica)
Treballs de fi de màster
Logic
Algebraic logic
Modality (Logic)
Master's thesis
id ES_7995591c8b1acbb304553b3aa3826bf1
oai_identifier_str oai:diposit.ub.edu:2445/214664
network_acronym_str ES
network_name_str España
repository_id_str
spelling Meet-irreducible elements in the poset of all logicsMuñoz Pérez, MIguelLògicaLogica algebraicaModalitat (Lògica)Treballs de fi de màsterLogicAlgebraic logicModality (Logic)Master's thesisTreballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2023-2024. Tutor: Tommaso Moraschini[cat] En aquest treball hem estudiat els elements meet-irreductibles del poset Log de totes les lògiques. A més, hem presentat les eines tècniques requerides, com la relació d’interpretabilitat entre lògiques i la construcció del producte no-indexat d’una família de lògiques, inspirades en l’anàlisi del lattice de les varietats de l’àlgebra universal. Finalment, hem treballat en criteris de meet-irreductibilitat per a alguns sub-semilattices de Log[eng] In this work we have studied the meet-irreducible elements in the poset Log of all logics. Additionally, we have presented the main technical tools required to do so, such as the interpretability relation between logics and the non-indexed product of a family of logics, inspired in the analysis of the lattice of varieties in universal algebra. Finally, we have worked out meet-irreducibility criteria for some sub-semilattices of Log.Moraschini, Tommaso2024info:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/2445/214664Mà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) Muñoz Pérez, 2024http://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/openAccessoai:diposit.ub.edu:2445/2146642026-05-27T06:46:51Z
dc.title.none.fl_str_mv Meet-irreducible elements in the poset of all logics
title Meet-irreducible elements in the poset of all logics
spellingShingle Meet-irreducible elements in the poset of all logics
Muñoz Pérez, MIguel
Lògica
Logica algebraica
Modalitat (Lògica)
Treballs de fi de màster
Logic
Algebraic logic
Modality (Logic)
Master's thesis
title_short Meet-irreducible elements in the poset of all logics
title_full Meet-irreducible elements in the poset of all logics
title_fullStr Meet-irreducible elements in the poset of all logics
title_full_unstemmed Meet-irreducible elements in the poset of all logics
title_sort Meet-irreducible elements in the poset of all logics
dc.creator.none.fl_str_mv Muñoz Pérez, MIguel
author Muñoz Pérez, MIguel
author_facet Muñoz Pérez, MIguel
author_role author
dc.contributor.none.fl_str_mv Moraschini, Tommaso
dc.subject.none.fl_str_mv Lògica
Logica algebraica
Modalitat (Lògica)
Treballs de fi de màster
Logic
Algebraic logic
Modality (Logic)
Master's thesis
topic Lògica
Logica algebraica
Modalitat (Lògica)
Treballs de fi de màster
Logic
Algebraic logic
Modality (Logic)
Master's thesis
description Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2023-2024. Tutor: Tommaso Moraschini
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/214664
url https://hdl.handle.net/2445/214664
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) Muñoz Pérez, 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) Muñoz Pérez, 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_ 1869411360193904640
score 15,81155

Similar Items