Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/184727
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Gispert Brasó, Joan | - |
dc.contributor.author | Canal Ferrer, Genı́s | - |
dc.date.accessioned | 2022-04-07T10:31:10Z | - |
dc.date.available | 2022-04-07T10:31:10Z | - |
dc.date.issued | 2021-06-20 | - |
dc.identifier.uri | http://hdl.handle.net/2445/184727 | - |
dc.description | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2021, Director: Joan Gispert Brasó | ca |
dc.description.abstract | [en] Glivenko’s theorem says that the fact that a proposition is provable in classical logic is equivalent to the double negation of this proposition being provable in intuitionistic logic. We present the intuitionistic logic and introduce two syntactic calculus: the Hilbert calculus and the natural deduction calculus. We give as well two semantics for the intuitionistic logic. A relational one, based on Kripke models and an algebraic one, based on Heyting algebras. To conclude we give three different proofs of Glivenko’s theorem. A syntactic one, a semantic one based on Kripke models and a semantic one based on Heyting algebras. | ca |
dc.format.extent | 50 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | cat | ca |
dc.rights | cc-by-nc-nd (c) Genı́s Canal Ferrer, 2021 | - |
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 | Lògica matemàtica | ca |
dc.subject.classification | Treballs de fi de grau | - |
dc.subject.classification | Matemàtica intuïcionista | ca |
dc.subject.classification | Lògica algebraica | ca |
dc.subject.other | Mathematical logic | en |
dc.subject.other | Bachelor's theses | - |
dc.subject.other | Intuitionistic mathematics | en |
dc.subject.other | Algebraic logic | en |
dc.title | Lògica intuïcionista. Teorema de Glivenko | 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 | |
---|---|---|---|---|
tfg_genis_canal_ferrer.pdf | Memòria | 568.57 kB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License