El Dipòsit Digital ha actualitzat el programari. Contacteu amb dipositdigital@ub.edu per informar de qualsevol incidència.

 
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

ISSN de la revista

Títol del volum

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

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: 26 de novembre de 2025]. [Disponible a: https://hdl.handle.net/2445/214664]

Exportar metadades

JSON - METS

Compartir registre