Inconsistency lemmas: an algebraic approach

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

Detalles Bibliográficos
Autor: Herrera Hernández, Jorge
Tipo de recurso: tesis de maestría
Fecha de publicación:2020
País:España
Institución:Universidad de Barcelona
Repositorio:Dipòsit Digital de la UB
OAI Identifier:oai:diposit.ub.edu:2445/171012
Acceso en línea:https://hdl.handle.net/2445/171012
Access Level:acceso abierto
Palabra clave: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
Descripción
Sumario: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