Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Fitxers

memoria.pdf (372.31 KB)

Tipus de document

Treball de fi de grau

Data de publicació

2019-01-18

Llicència de publicació

cc-by-nc-nd (c) Marta Planagumà Franco, 2019
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/140548

Aplicació dels models canònics a la demostració del teorema de completesa

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

[en] Completeness theorem establishes a correspondence between semantic and syntactic interpretations of mathematical logic. In this thesis we will construct canonical models in order to prove the completeness of the weakest normal modal logic, K. This construction will be useful to prove completeness theorems for other logics.

Descripció

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2019, Director: Joan Gispert Brasó

Matèries

Teorema de Gödel, Treballs de fi de grau, Modalitat (Lògica), Lògica matemàtica

Matèries (anglès)

Gödel's theorem, Bachelor's theses, Modality (Logic), Mathematical logic

Citació

Col·leccions

Treballs Finals de Grau (TFG) - Matemàtiques

Citació

PLANAGUMÀ FRANCO, Marta. Aplicació dels models canònics a la demostració del teorema de completesa. [consulted: 11 of August of 2026]. Available at: https://hdl.handle.net/2445/140548

Exportar metadades

JSON - METS

Compartir registre