Introdução à lógica intuicionista

Detalhes bibliográficos
Autor(a) principal: Almeida, Fellipe Hernandes de
Data de Publicação: 2023
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/
Resumo: Realizamos uma revisão da bibliografia sobre a Lógica Intuicionista, em suas formas sentencial e de primeira ordem. Estudamos as estruturas algébricas utilizadas no estudo de sua semântica, e estudamos seu sistema de dedução natural. Apresentamos as estruturas de reticulados e álgebras de Heyting, e as utilizamos como ferramenta para o estudo da Lógica Sentencial Intuicionista e Lógica de Primeira Ordem Intuicionista.
id USP_f981221643787ef68a05ef2b08790f01
oai_identifier_str oai:teses.usp.br:tde-03102023-053149
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Introdução à lógica intuicionistaIntroduction to intuitionistic logicÁlgebras de HeytingFirst-order logicHeyting algebrasIntuitionistic logicKripke modelsLatticesLógica de primeira ordemLógica intuicionistaModelos de KripkeReticuladosRealizamos uma revisão da bibliografia sobre a Lógica Intuicionista, em suas formas sentencial e de primeira ordem. Estudamos as estruturas algébricas utilizadas no estudo de sua semântica, e estudamos seu sistema de dedução natural. Apresentamos as estruturas de reticulados e álgebras de Heyting, e as utilizamos como ferramenta para o estudo da Lógica Sentencial Intuicionista e Lógica de Primeira Ordem Intuicionista.We carried out a review of the bibliography on Intuitionistic Logic, in its sentential and first-order forms. We studied the algebraic structures used in the study of its semantics, and its system of natural deduction. We present the structures of lattices and Heyting algebras, and use them as a tool for the study of Intuitionistic Sentential Logic and Intuitionistic First-Order Logic.Biblioteca Digitais de Teses e Dissertações da USPFajardo, Rogerio Augusto dos SantosAlmeida, Fellipe Hernandes de2023-08-04info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2023-10-10T16:55:02Zoai:teses.usp.br:tde-03102023-053149Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212023-10-10T16:55:02Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Introdução à lógica intuicionista
Introduction to intuitionistic logic
title Introdução à lógica intuicionista
spellingShingle Introdução à lógica intuicionista
Almeida, Fellipe Hernandes de
Álgebras de Heyting
First-order logic
Heyting algebras
Intuitionistic logic
Kripke models
Lattices
Lógica de primeira ordem
Lógica intuicionista
Modelos de Kripke
Reticulados
title_short Introdução à lógica intuicionista
title_full Introdução à lógica intuicionista
title_fullStr Introdução à lógica intuicionista
title_full_unstemmed Introdução à lógica intuicionista
title_sort Introdução à lógica intuicionista
author Almeida, Fellipe Hernandes de
author_facet Almeida, Fellipe Hernandes de
author_role author
dc.contributor.none.fl_str_mv Fajardo, Rogerio Augusto dos Santos
dc.contributor.author.fl_str_mv Almeida, Fellipe Hernandes de
dc.subject.por.fl_str_mv Álgebras de Heyting
First-order logic
Heyting algebras
Intuitionistic logic
Kripke models
Lattices
Lógica de primeira ordem
Lógica intuicionista
Modelos de Kripke
Reticulados
topic Álgebras de Heyting
First-order logic
Heyting algebras
Intuitionistic logic
Kripke models
Lattices
Lógica de primeira ordem
Lógica intuicionista
Modelos de Kripke
Reticulados
description Realizamos uma revisão da bibliografia sobre a Lógica Intuicionista, em suas formas sentencial e de primeira ordem. Estudamos as estruturas algébricas utilizadas no estudo de sua semântica, e estudamos seu sistema de dedução natural. Apresentamos as estruturas de reticulados e álgebras de Heyting, e as utilizamos como ferramenta para o estudo da Lógica Sentencial Intuicionista e Lógica de Primeira Ordem Intuicionista.
publishDate 2023
dc.date.none.fl_str_mv 2023-08-04
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/
url https://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1809090351775875072

Registros relacionados