The n-proof by cases property

Vista senzilla d'ítem
dc.contributor.advisorMoraschini,Tommaso
dc.contributor.advisorPřenosil, Adam
dc.contributor.authorRamírez Eirís, Miguel
dc.date.accessioned2026-09-17T09:43:57Z
dc.date.available2026-09-17T09:43:57Z
dc.date.issued2026-09-11
dc.descriptionTreballs 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
dc.description.abstractThis 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.
dc.format.extent66 p.
dc.format.mimetypeapplication/pdf
dc.identifier.urihttps://hdl.handle.net/2445/231531
dc.language.isoeng
dc.rightscc by-nc-nd (c) Ramírez Eirís, Miguel, 2026
dc.rights.accessRightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subject.classificationLògica
dc.subject.classificationÀlgebra universalcat
dc.subject.classificationNombres naturalscat
dc.subject.classificationTeoria dels reticlescat
dc.subject.classificationTreballs de fi de màster
dc.subject.otherLogic
dc.subject.otherUniversal algebraeng
dc.subject.otherNatural numberseng
dc.subject.otherLattice theoryeng
dc.subject.otherMaster's thesis
dc.titleThe n-proof by cases property
dc.typeinfo:eu-repo/semantics/masterThesis

Fitxers

Paquet original

Mostrant 1 - 1 de 1
Miniatura
Nom:
TFM_Ramírez_Eíris_Miguel.pdf
Mida:
513.78 KB
Format:
Adobe Portable Document Format
Descarregar

Col·leccions

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