Files

tfg_genis_canal_ferrer.pdf (568.57 KB)

Document type

Bachelor thesis

Publication date

2021-06-20

Publication license

cc-by-nc-nd (c) Genı́s Canal Ferrer, 2021
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/184727

Lògica intuïcionista. Teorema de Glivenko

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

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.

Description

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2021, Director: Joan Gispert Brasó

Subject

Lògica matemàtica, Treballs de fi de grau, Matemàtica intuïcionista, Lògica algebraica

Subject (English)

Mathematical logic, Bachelor's theses, Intuitionistic mathematics, Algebraic logic

Citation

Collections

Treballs Finals de Grau (TFG) - Matemàtiques

Citation

CANAL FERRER, Genı́s. Lògica intuïcionista. Teorema de Glivenko. [consulted: 7 of June of 2026]. Available at: https://hdl.handle.net/2445/184727

Export metadata

JSON - METS

Share record