Fitxers

TFM_Ramírez_Eíris_Miguel.pdf (513.78 KB)

Tipus de document

Treball de fi de màster

Data de publicació

2026-09-11

Llicència de publicació

cc by-nc-nd (c) Ramírez Eirís, Miguel, 2026
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/231531

The n-proof by cases property

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

This chapter reviews the background material used throughout the thesis: basic universal algebra, including quasivarieties and (relative) finitely subdirectly irreducible algebras, as well as basic lattice theory and Heyting algebras. Readers already comfortable with these topics may safely skip ahead, with one exception: the notion of a parametric equation and parametric quasiequation, introduced in Section 1.3, will likely be new even to those familiar with standard universal algebra.

Descripció

Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2025-2026. Tutor: Moraschini,Tommaso i Přenosil, Adam

Matèries

Lògica, Àlgebra universal, Nombres naturals, Teoria dels reticles, Treballs de fi de màster

Matèries (anglès)

Logic, Universal algebra, Natural numbers, Lattice theory, Master's thesis

Citació

Col·leccions

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

Citació

RAMÍREZ EIRÍS, Miguel. The n-proof by cases property. [consulted: 24 of September of 2026]. Available at: https://hdl.handle.net/2445/231531

Exportar metadades

JSON - METS

Compartir registre