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
- Este periódico é de acesso aberto
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: gold
- Licença: cc-by-nc-sa
-
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://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/. Acesso em: 09 jan. 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://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/ -
NLM
Almeida FH de. Introdução à lógica intuicionista [Internet]. 2023 ;[citado 2026 jan. 09 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/ -
Vancouver
Almeida FH de. Introdução à lógica intuicionista [Internet]. 2023 ;[citado 2026 jan. 09 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/
Informações sobre o DOI: 10.11606/D.45.2023.tde-03102023-053149 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
