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.
junho 30, 2017, 11:0
Publicação
Obra sujeita a Direitos de Autor