Introdução à lógica intuicionista

• Ano de defesa: 2023
• Autor(a) principal: Almeida, Fellipe Hernandes de
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
• Palavras-chave em Português: Á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
• Link de acesso: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/

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.