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

Planagumà Franco, Marta

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

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.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.identifier.uri	https://hdl.handle.net/2445/140548
dc.language.iso	cat	ca
dc.rights	cc-by-nc-nd (c) Marta Planagumà Franco, 2019
dc.rights.accessRights	info:eu-repo/semantics/openAccess	ca
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

Fitxers

Paquet original

Mostrant 1 - 1 de 1

Nom:: memoria.pdf
Mida:: 372.31 KB
Format:: Adobe Portable Document Format
Descripció:: Memòria

Descarregar

Col·leccions

Treballs Finals de Grau (TFG) - Matemàtiques