Inconsistency lemmas: an algebraic approach
| dc.contributor.advisor | Jansana, Ramon | |
| dc.contributor.advisor | Moraschini, Tommaso | |
| dc.contributor.author | Herrera Hernández, Jorge | |
| dc.date.accessioned | 2020-10-06T15:06:22Z | |
| dc.date.available | 2020-10-06T15:06:22Z | |
| dc.date.issued | 2020-10 | |
| dc.description | 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 | ca |
| dc.description.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. | ca |
| dc.format.extent | 63 p. | |
| dc.format.mimetype | application/pdf | |
| dc.identifier.uri | https://hdl.handle.net/2445/171012 | |
| dc.language.iso | eng | ca |
| dc.rights | cc-by-nc-nd (c) Herrera Hernández, 2020 | |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
| dc.source | Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada | |
| dc.subject.classification | Lògica | |
| dc.subject.classification | Lògica algebraica | |
| dc.subject.classification | Àlgebra universal | |
| dc.subject.classification | Inconsistència (Lògica) | |
| dc.subject.classification | Treballs de fi de màster | |
| dc.subject.other | Logic | |
| dc.subject.other | Algebraic logic | |
| dc.subject.other | Universal algebra | |
| dc.subject.other | Inconsistency (Logic) | |
| dc.subject.other | Master's theses | |
| dc.title | Inconsistency lemmas: an algebraic approach | ca |
| dc.type | info:eu-repo/semantics/masterThesis | ca |
Fitxers
Paquet original
1 - 1 de 1
Carregant...
- Nom:
- TFM_Herrera Hernandez_Jorge.pdf
- Mida:
- 707.3 KB
- Format:
- Adobe Portable Document Format
- Descripció: