2 publicações encontradas
Acervo
Pesquisa
2 resultados ·
Dissertação2014
UM MODELO ALGÉBRICO DO QUANTIFICADOR DA UBIQUIDADE
ESTA PESQUISA ESTÁ INSERIDA NO CONTEXTO FILOSÓFICO DA LÓGICA, COM ÊNFASE NOS ASPECTOS DOS QUANTIFICADORES E NOS SEUS MODELOS OU INTERPRETAÇÕES. O OBJETIVO DESTE TRABALHO É UM APROFUNDAMENTO DAS NOÇÕES DE QUANTIFICAÇÃO DENTRO DO ASPECTO DAS LÓGICAS M…
Dissertação2008
A lógica do muito em um sistema de Tablôs
Dentre as diversas lógicas não-clássicas, que complementam o cálculo de predicados de primeira ordem, destacamos as lógicas moduladas. As lógicas moduladas são caracterizadas pela inclusão de um novo quantificador, chamado modulado, que tem a incumb…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.