Please use this identifier to cite or link to this item: http://hdl.handle.net/2445/171012
Title: Inconsistency lemmas: an algebraic approach
Author: Herrera Hernández, Jorge
Director/Tutor: Jansana, Ramon
Moraschini, Tommaso
Keywords: Lògica
Lògica algebraica
Àlgebra universal
Inconsistència (Lògica)
Tesis de màster
Logic
Algebraic logic
Universal algebra
Inconsistency (Logic)
Masters theses
Issue Date: Oct-2020
Abstract: The purpose of this work is to investigate what is the algebraic counterpart of the inconsistency lemma. This question already has an answer in [29]. We have only put together in this monograph all the results and concepts that are necessary to understand the whole building.
Note: Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona, Curs: 2019-2020, Tutor: Ramon Jansana i Tommaso Moraschini
URI: http://hdl.handle.net/2445/171012
Appears in Collections:Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada

Files in This Item:
File Description SizeFormat 
TFM_Herrera Hernandez_Jorge.pdf707.3 kBAdobe PDFView/Open


This item is licensed under a Creative Commons License Creative Commons