Jansana, RamonMenéndez Turata, Guillermo2020-02-032020-02-032018-06https://hdl.handle.net/2445/149262Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2016-2017. Tutor: Ramon Jansana Ferrer119 p.application/pdfengcc-by-nc-nd (c) Menéndez Turata, Guillermo, 2018http://creativecommons.org/licenses/by-nc-nd/3.0/es/Lògica algebraicaLògica matemàticaTreballs de fi de màsterAlgebraic logicMathematical logicMaster's thesesGentzen Relations and Contextual Deduction-Detachment Theoremsinfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccess