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 | Size | Format | |
---|---|---|---|---|
memoria.pdf | Memòria | 372.31 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License