Unification in intuitionistic logic

Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2022-2023. Tutor: Tommaso Moraschini i Amanda Vidal Wandelmer

Detalles Bibliográficos
Autor: Cristancho S., Sebastián R.
Tipo de recurso: tesis de maestría
Fecha de publicación:2023
País:España
Institución:Universidad de Barcelona
Repositorio:Dipòsit Digital de la UB
OAI Identifier:oai:diposit.ub.edu:2445/201919
Acceso en línea:https://hdl.handle.net/2445/201919
Access Level:acceso abierto
Palabra clave:Lògica
Teoria del coneixement
Treballs de fi de màster
Logic
Theory of knowledge
Master's thesis
id ES_a5b6dde62775deb0abba98ebb6dae4e2
oai_identifier_str oai:diposit.ub.edu:2445/201919
network_acronym_str ES
network_name_str España
repository_id_str
spelling Unification in intuitionistic logicCristancho S., Sebastián R.LògicaTeoria del coneixementTreballs de fi de màsterLogicTheory of knowledgeMaster's thesisTreballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2022-2023. Tutor: Tommaso Moraschini i Amanda Vidal WandelmerThe concept of unification has been widely studied from a logical perspective. In the context of logic, a formula A is said to be unifiable in a logic ⊢ if there is a substitution σ that turns A into a theorem of ⊢. In this case, we say that σ is a unifier (in ⊢) of A, or that A is unifiable (in ⊢) by σ. Given a logic ⊢ and a unifiable formula A (in ⊢), there is a natural way to compare its unifiers in terms of generality using the fact that, up to logical equivalence, some unifiers can be ‘obtained’ from others. More precisely, we say that the unifier σ1 of A is less general than the unifier σ2 of A if there is a substitution τ such that σ1(x) is logically equivalent to τ(σ2(x)) in ⊢ for all propositional variables x in the domain of σ1 and σ2. This gives rise to a hierarchy among the set of unifiers of A, where the unifiers in lower levels can be obtained from the unifiers in upper levels. A basis of unifiers of a unifiable formula A is a set of incomparable elements that ‘generates’ any other unifier of A. The study of the hierarchy among unifiers rises some interesting questions: Given a unifiable formula A in ⊢, is there a basis of unifiers of A? If so, is it finite or infinite? If it is finite, does it have one or more elements? These questions can be stated not only for formulas, but for logics in general.Moraschini, TommasoVidal Wandelmer, Amanda2023info:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/2445/201919Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicadareponame:Dipòsit Digital de la UBinstname:Universidad de BarcelonaIngléscc by-nc-nd (c) Cristancho S., 2023http://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/openAccessoai:diposit.ub.edu:2445/2019192026-05-27T06:46:51Z
dc.title.none.fl_str_mv Unification in intuitionistic logic
title Unification in intuitionistic logic
spellingShingle Unification in intuitionistic logic
Cristancho S., Sebastián R.
Lògica
Teoria del coneixement
Treballs de fi de màster
Logic
Theory of knowledge
Master's thesis
title_short Unification in intuitionistic logic
title_full Unification in intuitionistic logic
title_fullStr Unification in intuitionistic logic
title_full_unstemmed Unification in intuitionistic logic
title_sort Unification in intuitionistic logic
dc.creator.none.fl_str_mv Cristancho S., Sebastián R.
author Cristancho S., Sebastián R.
author_facet Cristancho S., Sebastián R.
author_role author
dc.contributor.none.fl_str_mv Moraschini, Tommaso
Vidal Wandelmer, Amanda
dc.subject.none.fl_str_mv Lògica
Teoria del coneixement
Treballs de fi de màster
Logic
Theory of knowledge
Master's thesis
topic Lògica
Teoria del coneixement
Treballs de fi de màster
Logic
Theory of knowledge
Master's thesis
description Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2022-2023. Tutor: Tommaso Moraschini i Amanda Vidal Wandelmer
publishDate 2023
dc.date.none.fl_str_mv 2023
dc.type.none.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/2445/201919
url https://hdl.handle.net/2445/201919
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.rights.none.fl_str_mv cc by-nc-nd (c) Cristancho S., 2023
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv cc by-nc-nd (c) Cristancho S., 2023
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada
reponame:Dipòsit Digital de la UB
instname:Universidad de Barcelona
instname_str Universidad de Barcelona
reponame_str Dipòsit Digital de la UB
collection Dipòsit Digital de la UB
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869415638488842240
score 15.300724

Similares en LA Referencia