Miniatura

Fitxers

tfg_genis_canal_ferrer.pdf (568.57 KB)

Tipus de document

Treball de fi de grau

Data de publicació

2021-06-20

Llicència de publicació

cc-by-nc-nd (c) Genı́s Canal Ferrer, 2021
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/184727

Lògica intuïcionista. Teorema de Glivenko

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

[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.

Descripció

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

Matèries

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

Matèries (anglès)

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

Citació

Col·leccions

Treballs Finals de Grau (TFG) - Matemàtiques

Citació

CANAL FERRER, Genı́s. Lògica intuïcionista. Teorema de Glivenko. [consulta: 20 de desembre de 2025]. [Disponible a: https://hdl.handle.net/2445/184727]

Exportar metadades

JSON - METS

Compartir registre