Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/214664
Title: | Meet-irreducible elements in the poset of all logics |
Author: | Muñoz Pérez, MIguel |
Director/Tutor: | Moraschini, Tommaso |
Keywords: | Lògica Logica algebraica Modalitat (Lògica) Treballs de fi de màster Logic Algebraic logic Modality (Logic) Master's thesis |
Issue Date: | Jul-2024 |
Abstract: | [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. |
Note: | Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2023-2024. Tutor: Tommaso Moraschini |
URI: | http://hdl.handle.net/2445/214664 |
Appears in Collections: | Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
TFM_Muñoz Perez_Miguel.pdf | 780.91 kB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License