Dissertação

A topoi characterization of Gödel intermediate logics EVALUATED

Apresentamos uma construção geral para lógicas proposicionais intermédias e provamos a sua correção e completude relativamente a álgebras de heyting. Revemos noções básicas de teoria de categorias, topos e semântica de topos. Finalmente apresentamos uma semântica nova, baseada em topos, para a família de lógicas apresentadas por Gödel em [1] e provamos a sua correção e completude. [1] K. Gödel. Zum intuitionistischen aussagenkalkül. 1932.
lógica intuicionista, lógica intermédia, topos, semântica de topos, lógicas intermédias de Gödel

Junho 30, 2017, 11:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

ORIENTADOR

João Filipe Quintas dos Santos Rasga

Departamento de Matemática (DM)

Professor Auxiliar