Idioma:

Introdução à lógica intuicionista

Almeida, Fellipe Hernandes De

Acesso online. A biblioteca também possui exemplares impressos.

Título:
Introdução à lógica intuicionista
Autor: Almeida, Fellipe Hernandes De
Orientador: Fajardo, Rogerio Augusto dos Santos
Assuntos: Álgebras De Heyting; Modelos De Kripke; Lógica Intuicionista; Lógica De Primeira Ordem; Reticulados; Kripke Models; Intuitionistic Logic; Heyting Algebras; First-Order Logic; Lattices
Notas: Dissertação (Mestrado)
Descrição: 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.
DOI: 10.11606/D.45.2023.tde-03102023-053149
Editor: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística
Data de criação/publicação: 2023-08-04
Formato: Adobe PDF
Idioma: Português

Links

Voltar para lista de resultados

Anterior Resultado 6 Avançar Ir para próxima página