Mostrando ítems 1-10 de 1081
Fibrilação de logicas na hierarquia de Leibniz
([s.n.], 2005)
Um modelo algébrico para a lógica do muito
(Universidade Estadual Paulista (Unesp), 2013-10-09)
Esta dissertação trata, em um primeiro momento, de um estudo sobre quantificadores com seus aspectos históricos e algumas concepções sobre quantificadores generalizados, a saber, a concepção de Mostowski (1957), criada com ...
Atualizando Kant : avaliação da identidade entre a lógica transcendental e a lógica geométrica
Esta dissertação avalia a proposta de Michiel Van Lambalgen e Theodora Achourioti apresentada no artigo A Formalization of Kant’s Transcendental Logic, em que é proposta semântica modelo-teórica para representar ideias da ...