Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/140548
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Gispert Brasó, Joan | - |
dc.contributor.author | Planagumà Franco, Marta | - |
dc.date.accessioned | 2019-09-20T10:22:59Z | - |
dc.date.available | 2019-09-20T10:22:59Z | - |
dc.date.issued | 2019-01-18 | - |
dc.identifier.uri | http://hdl.handle.net/2445/140548 | - |
dc.description | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2019, Director: Joan Gispert Brasó | ca |
dc.description.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. | ca |
dc.format.extent | 49 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | cat | ca |
dc.rights | cc-by-nc-nd (c) Marta Planagumà Franco, 2019 | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
dc.source | Treballs Finals de Grau (TFG) - Matemàtiques | - |
dc.subject.classification | Teorema de Gödel | ca |
dc.subject.classification | Treballs de fi de grau | - |
dc.subject.classification | Modalitat (Lògica) | ca |
dc.subject.classification | Lògica matemàtica | ca |
dc.subject.other | Gödel's theorem | en |
dc.subject.other | Bachelor's theses | - |
dc.subject.other | Modality (Logic) | en |
dc.subject.other | Mathematical logic | en |
dc.title | Aplicació dels models canònics a la demostració del teorema de completesa | ca |
dc.type | info:eu-repo/semantics/bachelorThesis | ca |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
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