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) Treballs de fi de màster Logic Algebraic logic Universal algebra Inconsistency (Logic) Master's 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 | Size | Format | |
---|---|---|---|---|
TFM_Herrera Hernandez_Jorge.pdf | 707.3 kB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License