Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/184727
Title: | Lògica intuïcionista. Teorema de Glivenko |
Author: | Canal Ferrer, Genı́s |
Director/Tutor: | Gispert Brasó, Joan |
Keywords: | Lògica matemàtica Treballs de fi de grau Matemàtica intuïcionista Lògica algebraica Mathematical logic Bachelor's theses Intuitionistic mathematics Algebraic logic |
Issue Date: | 20-Jun-2021 |
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. |
Note: | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2021, Director: Joan Gispert Brasó |
URI: | http://hdl.handle.net/2445/184727 |
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