Please use this identifier to cite or link to this item: http://hdl.handle.net/2445/140548
Title: Aplicació dels models canònics a la demostració del teorema de completesa
Author: Planagumà Franco, Marta
Director/Tutor: Gispert Brasó, Joan
Keywords: Teorema de Gödel
Treballs de fi de grau
Modalitat (Lògica)
Lògica matemàtica
Gödel's theorem
Bachelor's theses
Modality (Logic)
Mathematical logic
Issue Date: 18-Jan-2019
Abstract: [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.
Note: Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2019, Director: Joan Gispert Brasó
URI: http://hdl.handle.net/2445/140548
Appears in Collections:Treballs Finals de Grau (TFG) - Matemàtiques

Files in This Item:
File Description SizeFormat 
memoria.pdfMemòria372.31 kBAdobe PDFView/Open


This item is licensed under a Creative Commons License Creative Commons