Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Files

tfm_guillermo_menendez_turata.pdf (1.1 MB)

Document type

Master thesis

Publication date

2018-06

Publication license

cc-by-nc-nd (c) Menéndez Turata, Guillermo, 2018
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/149262

Gentzen Relations and Contextual Deduction-Detachment Theorems

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

Description

Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2016-2017. Tutor: Ramon Jansana Ferrer

Subject

Lògica algebraica, Lògica matemàtica, Treballs de fi de màster

Subject (English)

Algebraic logic, Mathematical logic, Master's theses

Citation

Collections

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

Citation

MENÉNDEZ TURATA, Guillermo. Gentzen Relations and Contextual Deduction-Detachment Theorems. [consulted: 14 of August of 2026]. Available at: https://hdl.handle.net/2445/149262

Export metadata

JSON - METS

Share record