El CRAI romandrà tancat del 24 de desembre de 2025 al 6 de gener de 2026. La validació de documents es reprendrà a partir del 7 de gener de 2026.
El CRAI permanecerá cerrado del 24 de diciembre de 2025 al 6 de enero de 2026. La validación de documentos se reanudará a partir del 7 de enero de 2026.
From 2025-12-24 to 2026-01-06, the CRAI remain closed and the documents will be validated from 2026-01-07.
 
Miniatura

Fitxers

TFM_Muñoz Perez_Miguel.pdf (780.91 KB)

Tipus de document

Treball de fi de màster

Data de publicació

2024-07

Llicència de publicació

cc by-nc-nd (c) Muñoz Pérez, 2024
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/214664

Meet-irreducible elements in the poset of all logics

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

[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.

Descripció

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

Matèries

Lògica, Logica algebraica, Modalitat (Lògica), Treballs de fi de màster

Matèries (anglès)

Logic, Algebraic logic, Modality (Logic), Master's thesis

Citació

Col·leccions

Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada

Citació

MUÑOZ PÉREZ, Miguel. Meet-irreducible elements in the poset of all logics. [consulta: 1 de gener de 2026]. [Disponible a: https://hdl.handle.net/2445/214664]

Exportar metadades

JSON - METS

Compartir registre