Introdução à lógica intuicionista (2023)
- Authors:
- Autor USP: ALMEIDA, FELLIPE HERNANDES DE - IME
- Unidade: IME
- Sigla do Departamento: MAT
- DOI: 10.11606/D.45.2023.tde-03102023-053149
- Subjects: LÓGICA DE PRIMEIRA ORDEM; LÓGICA INTUICIONISTA; RETICULADOS
- Keywords: Álgebras de Heyting; First-order logic; Heyting algebras; Intuitionistic logic; Kripke models; Lattices; Modelos de Kripke
- Language: Português
- Abstract: 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
- Imprenta:
- Data da defesa: 04.08.2023
- Status:
- Artigo publicado em periódico de acesso aberto (Gold Open Access)
- Versão do Documento:
- Versão publicada (Published version)
- Acessar versão aberta:
-
ABNT
ALMEIDA, Fellipe Hernandes de. Introdução à lógica intuicionista. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/. Acesso em: 07 maio 2026. -
APA
Almeida, F. H. de. (2023). Introdução à lógica intuicionista (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/ -
NLM
Almeida FH de. Introdução à lógica intuicionista [Internet]. 2023 ;[citado 2026 maio 07 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/ -
Vancouver
Almeida FH de. Introdução à lógica intuicionista [Internet]. 2023 ;[citado 2026 maio 07 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
